Lectures on the curry-howard isomorphism (1998)

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

Documents Related by Co-Citation

184 Combinatory Logic – H B Curry, R Feys - 1958
874 A theory of type polymorphism in programming – Robin Milner - 1978
914 On computable numbers, with an application to the “Entscheidungsproblem – A Turing
5 Parallel reductions in λ-calculus (revised version – M Takahashi - 1995
3 Polishing Up the Tait-Martin-Löf Proof of the Church-Rosser Theorem – Robert Pollack - 1995
17 The Lambda Calculus: its Syntax and Semantics, 2nd edition – H P Barendregt - 1984
63 Some properties of conversion – Alonzo Church, J B Rosser
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
10 Definierbare Funktionen im λ-Kalkül mit Typen, Archiv für Mathematische Logik und Grundlagenforschung 17 – H Schwichtenberg - 1976
3 Subrecursion: functions and heirarchies, Oxford Logic Guide 9 – H E Rose
14 Basic Simple Type Theory. Cambridge Tracts in Theoretical Computer Science 42 – J R Hindley - 1997
395 The formulae-as-types notion of construction – W A Howard - 1980
40 Recursive Functions – R Péter - 1977
3 of brute-force search in strongly-typed inductive functional programming automation – Power - 2004
2 Uniform subtree mutation – Terry Van Belle, David H Ackley - 2002
1 and Gwoing Tina Yu. Performance enhanced genetic programming – Chris Clack - 1997
7 An analysis of the impact of functional programming techniques on genetic programming – T Yu - 1999
4 Iteration over vectors in genetic programming – E Kirshenbaum - 2001