-
1
-
-
0001715923
-
-
Report RS-97-21, BRICS, Aahrus University, Denmark. (Forthcoming in the Journal of Symbolic Logic.)
-
Awodey, S. and Butz, C. (1997) Topological completeness for higher-order logic. Tech. Report RS-97-21, BRICS, Aahrus University, Denmark. (Forthcoming in the Journal of Symbolic Logic.)
-
(1997)
Topological completeness for higher-order logic
-
-
Awodey, S.1
Butz, C.2
-
2
-
-
0003749740
-
-
its syntax and semantics, North-Holland
-
Barendregt, H. (1984) The lambda calculus, its syntax and semantics, North-Holland.
-
(1984)
The lambda calculus
-
-
Barendregt, H.1
-
6
-
-
0003180840
-
A foundation for the simple theory of types
-
Church, A. (1940) A foundation for the simple theory of types. Journal of Symbolic Logic 5 56–68.
-
(1940)
Journal of Symbolic Logic
, vol.5
, pp. 56-68
-
-
Church, A.1
-
7
-
-
0032038290
-
Embedding a free cartesian closed category into the category of sets
-
Cubrić, D. (1998) Embedding a free cartesian closed category into the category of sets. Journal of Pure and Applied Algebra 126 121–147.
-
(1998)
Journal of Pure and Applied Algebra
, vol.126
, pp. 121-147
-
-
Cubrić, D.1
-
9
-
-
85022724032
-
Springer-Verlag
-
Parikh, R. (ed.) Logic Colloquium
-
Friedman, H. (1975) Equality between functionals. In: Parikh, R. (ed.) Logic Colloquium 73, Springer-Verlag.
-
(1975)
Equality between functionals
, vol.73
-
-
Friedman, H.1
-
17
-
-
0141933087
-
Handbook of Logic in Computer Science
-
Oxford University Press (forthcoming)
-
Pitts, A. (1995) Categorical logic. In: Abramsky, A. et al. (eds.) Handbook of Logic in Computer Science, vol. 6, Oxford University Press (forthcoming).
-
(1995)
Categorical logic
, vol.6
-
-
Pitts, A.1
Abramsky, A.2
-
18
-
-
0000281572
-
H.B. Curry: Essays on Combinatory Logic
-
Lambda Calculus and Formalism, Academic Press
-
Scott, D. (1980) Relating theories of the lambda calculus. In: (eds.) To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, Academic Press 403–450.
-
(1980)
Relating theories of the lambda calculus
, pp. 403-450
-
-
Scott, D.1
-
19
-
-
84971182238
-
Mathematical Proceedings of the Cambridge Philosophical Society
-
Seely, R. (1984) Locally cartesian closed categories and type theory. Mathematical Proceedings of the Cambridge Philosophical Society 95 33–48.
-
(1984)
Locally cartesian closed categories and type theory
, vol.95
, pp. 33-48
-
-
Seely, R.1
-
20
-
-
84947447444
-
Typed Lambda Calculi and Applications
-
Proceedings of TLCA ’95. Springer-Verlag Lecture Notes in Computer Science
-
Simpson, A. (1996) Categorical completeness results for the simply-typed lambda-calculus. Typed Lambda Calculi and Applications, Proceedings of TLCA ’95. Springer-Verlag Lecture Notes in Computer Science 902 414–427.
-
(1996)
Categorical completeness results for the simply-typed lambda-calculus
, vol.902
, pp. 414-427
-
-
Simpson, A.1
|