141

Introduction to HigherOrder 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

Manyvariable 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Ć
