DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Lambda cube
Lambda cube
Formalizing the Curry-Howard Correspondence
Proofs Are Programs: 19Th Century Logic and 21St Century Computing
The Theory of Parametricity in Lambda Cube
Polymorphism All the Way Up! from System F to the Calculus of Constructions
The Girard–Reynolds Isomorphism
A Language for Playing with Formal Systems
Notes: Barendregt's Cube and Programming with Dependent Types
Basics of Type Theory and Coq
Lambda Calculus a → B Λx:A.M MN
The Taming of the Rew: a Type Theory with Computational Assumptions Jesper Cockx, Nicolas Tabareau, Théo Winterhalter
Explicit Convertibility Proofs in Pure Type Systems
Barendregt's Lambda Cube
Type Theory and Coq 2017-2018 02-07-2018
Henk: a Typed Intermediate Language
The Duality of Classical Intersection and Union Types
Slides for Coq Discussion
Tinkertype: a Language for Playing with Formal Systems
Lambda-Calculus by John Lång, 20 February 2020 “Yön Maku, Kun Linnut Syöksyy Mustina Siipinä Tähtiä Päin; Vaan Mikä on Nimesi Nimi, Tähtesi Salainen Luku Ja Numero?”
Top View
Lambda: the Ultimate Sublanguage (Experience Report)
Carleton University School of Mathematics And
Lambda Encoding, Types and Confluence
Lambda Calculus
A Relationally Parametric Model of Dependent Type Theory
A Transformational Approach to Generic Software Development Based on Higher-Order, Typed Functional Signatures
Advances in Natural Deduction a Celebration of Dag Prawitz's Work Trends in Logic
Lambda Calculus
A La De Bruijn
Parametric Quantifiers for Dependent Type Theory
Dependent Type Theory Meets Practical Programming
Pedagogical Lambda-Cube: the Λ2 Case Vincent Demange
Homotopies for Free!
Typechecking in the Lambda-Pi-Calculus Modulo : Theory and Practice Ronan Saillard
An Overview of Type Theories
Introduction to Type Theory
Proofs Are Programs: 19Th Century Logic and 21St Century Computing