Constitution Day Address: Cultural Elites, Truth-Seeking & Constitutional Originalism

Name: Constitution Day Address: Cultural Elites, Truth-Seeking & Constitutional Originalism
Uploaded: 2026-09-22T00:23:35.000Z
Duration: 18 min 3 s
Channel: Thiago Felicissimo
Description: An ICFP 2026 presentation on extending confluence techniques to dependent type theories with typed conversion, a critical advancement for meta-theoretic studies and correctness proofs of implementations.

Thiago Felicissimo

Browse

Inria Rennes·Thiago Felicissimo

18:03

0:00/18:03

Notebook

Press N to jot a timestamped note or B to pin a moment while watching.

Open in Study Notebook →

Constitution Day Address: Cultural Elites, Truth-Seeking & Constitutional Originalism

Thiago Felicissimo Inria Rennes

18:03·2026·research level·Conference Talk

YouTube

An ICFP 2026 presentation on extending confluence techniques to dependent type theories with typed conversion, a critical advancement for meta-theoretic studies and correctness proofs of implementations.

Confluence Techniques for Dependent Type Theory with Typed Conversion (Video, ICFP 2026) Thiago Felicissimo, Théo Winterhalter (Inria Rennes, France; Inria, France / LMF, France)

Theory & Algos Formal Methods & Type Theory Algorithms & Data Structures Type Theory & Lambda Calculus Dependent Types