Lectures on the curry-howard isomorphism (1998)

by Morten Heine Sørensen , Pawel Urzyczyn
Citations:7 - 0 self

Documents Related by Co-Citation

208 Modal Logics – R Feys - 1965
445 The formulae-as-types notion of construction – W A Howard - 1980
1161 On computable numbers with an application to the Entscheidungsproblem – A Turing - 1936
939 A theory of type polymorphism in programming – Robin Milner - 1978
227 Une extension de l’interprétation de Gödel à l’analyse, et son application à l’élimination des coupures dans l’analyse et la théorie des types – Jean-Yves Girard - 1970
320 The Calculi of LambdaConversion – Alonzo Church - 1941
19 The Lambda Calculus: Its Syntax and Semantics, 2nd edn – H P Barendregt - 1984
7 Parallel reductions in λ-calculus (revised version – Masako Takahashi - 1995
6 Polishing Up the Tait-Martin-Löf Proof of the Church-Rosser Theorem – Robert Pollack - 1995
70 Some Properties of Conversion – Alonzo Church, J Barkley Rosser - 1936
1 Types and Programming Languages – B C Peirce - 2002
1 Über eine bisher noch nicht unbenützte Erweiterung des finiten Standpunktes, Dialectica – K Gödel - 1958
3 Subrecursion: functions and heirarchies, Oxford Logic Guide 9 – H E Rose
12 Definierbare Funktionen im λ-Kalkül mit Typen. Arkhiv für mathematische Logik und Grundlagenforschung – H Schwichtenberg - 1976
17 Basic Simple Type Theory. Cambridge Tracts in Theoretical Computer Science 42 – J R Hindley - 1997
47 Recursive Functions – R Peter - 1967
1 Basic logic and quantum entanglement – P A Zizzi - 2007
2 A unified approach to logical calculi and normalization of proofs – C Faggian, G Sambin - 1999
2 Semantica relazionale per la logica di base. Tesi di laurea – D Macedonio - 2001