Categorical Completeness Results for the Simply-Typed Lambda-Calculus (1995)

Cached

Download Links

by Alex K. Simpson
Venue:Proceedings of TLCA '95, Springer LNCS 902
Citations:10 - 0 self

Documents Related by Co-Citation

141 Introduction to Higher-Order Categorical Logic – J Lambek, P Scott - 1986
214 Closed categories – Samuel Eilenberg, G Max Kelly - 1965
18 The maximality of the typed lambda calculus and of cartesian closed categories – Zoran Petrić
17 Natural associativity and commutativity, Rice University – S Mac Lane - 1963
21 Deductive systems and categories I: Syntactic calculus and residuated categories – Joachim Lambek - 1968
45 Many-variable functorial calculus (I – G M Kelly - 1972
1125 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1981
5 Category theory and proof theory (in Russian)’, in: Aktual’nye voprosy logiki i metodologii nauki, Naukova – G E MINTS - 1980
162 Constructivism and Proof Theory – A. S. Troelstra - 2003
61 Deductive systems and categories. II. Standard constructions and closed categories – J Lambek - 1969
78 Conceptual Mathematics: A First Introduction to Categories – F W Lawvere, S Schanuel - 1997
565 Untersuchungen über das logische Schließen – G Gentzen - 1935
23 An Abstract Approach To Coherence – G M Kelly - 1972
8 Embedding of a free cartesian closed category into the category of sets – D Čubrić - 1998
17 Typed lambda models and cartesian closed categories – J Mitchell, P Scott - 1989
2 The maximality of the typed lambda calculus and of cartesian closed categories – DOˇ SEN, K, Z PETRIĆ
2 The maximality of cartesian categories’, Rapport IRIT – DOˇ SEN, K, Z PETRIĆ - 1997
2 Natural associativity and commutativity’, Rice University – S MACLANE - 1963
2 The maximality of cartesian categories – DOˇ SEN, K, Z PETRIĆ