Course Notes in Typed Lambda Calculus (1998)

Cached

Download Links

by Thierry Coquand
Citations:2 - 0 self

Active Bibliography

702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
944 A theory of type polymorphism in programming – Robin Milner - 1978
459 Comprehending Monads – Philip Wadler - 1992
377 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
18 Higher Order Logic – Daniel Leivant - 1994
333 Theorems for free! – Philip Wadler - 1989
Lambda-Calculus and Functional Programming tions. – Jonathan P. Seldin
Lambda-Calculus and Functional Programming – Jonathan P. Seldin
305 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller