-
1
-
-
0002422649
-
A characterization of lambda definability in categorical models of implicit polymorphism
-
Alimohamed, M. (1995) A characterization of lambda definability in categorical models of implicit polymorphism. Theoret. Comp. Sci. 146, 5-23.
-
(1995)
Theoret. Comp. Sci.
, vol.146
, pp. 5-23
-
-
Alimohamed, M.1
-
2
-
-
0009906061
-
From action calculi to linear logic
-
Springer-Verlag
-
Barber, A., Gardner, P., Hasegawa, M. and Plotkin, G. (1998) From action calculi to linear logic. In Computer Science Logic (CSL'97), Lecture Notes in Computer Science 1414, pp. 78-97, Springer-Verlag.
-
(1998)
Computer Science Logic (CSL'97), Lecture Notes in Computer Science
, vol.1414
, pp. 78-97
-
-
Barber, A.1
Gardner, P.2
Hasegawa, M.3
Plotkin, G.4
-
5
-
-
84955572477
-
Linear lambda-calculus and categorical models revisited
-
Springer-Verlag
-
Benton, N., Bierman, G. M., de Paiva, V. and Hyland, J. M. E. (1993a) Linear lambda-calculus and categorical models revisited. In Computer Science Logic (CSL'92), Lecture Notes in Computer Science 702, 61-84. Springer-Verlag.
-
(1993)
Computer Science Logic (CSL'92), Lecture Notes in Computer Science
, vol.702
, pp. 61-84
-
-
Benton, N.1
Bierman, G.M.2
De Paiva, V.3
Hyland, J.M.E.4
-
6
-
-
85022772978
-
A term calculus for intuitionistic linear logic
-
Springer-Verlag
-
Benton, N., Bierman, G. M., de Paiva, V. and Hyland, J. M. E. (1993b) A term calculus for intuitionistic linear logic. In Typed Lambda Calculi and Applications (TLCA'93). Lecture Notes in Computer Science 664, pp. 75-90. Springer-Verlag.
-
(1993)
Typed Lambda Calculi and Applications (TLCA'93). Lecture Notes in Computer Science
, vol.664
, pp. 75-90
-
-
Benton, N.1
Bierman, G.M.2
De Paiva, V.3
Hyland, J.M.E.4
-
7
-
-
0029700511
-
Linear logic, monads, and the lambda calculus
-
IEEE Computer Society Press
-
Benton, N. and Wadler, P. (1996) Linear logic, monads, and the lambda calculus. In Logic in Computer Science (LICS'96), pp. 420-431. IEEE Computer Society Press.
-
(1996)
Logic in Computer Science (LICS'96)
, pp. 420-431
-
-
Benton, N.1
Wadler, P.2
-
10
-
-
0005421196
-
-
PhD thesis, University of Aarhus. Technical report BRICS-DS-96-4, BRICS
-
Braüner, T. (1996) An Axiomatic Approach to Adequacy. PhD thesis, University of Aarhus. Technical report BRICS-DS-96-4, BRICS.
-
(1996)
An Axiomatic Approach to Adequacy
-
-
Braüner, T.1
-
11
-
-
0040994473
-
On the linear decoration of intuitionistic derivations
-
Danos, V., Joinet, J.-B. and Schellinx, H. (1995) On the linear decoration of intuitionistic derivations. Arch. Math. Logic 33, 387-412.
-
(1995)
Arch. Math. Logic
, vol.33
, pp. 387-412
-
-
Danos, V.1
Joinet, J.-B.2
Schellinx, H.3
-
22
-
-
0001748856
-
Intensional interpretation of functionals of finite type I
-
Tait, W. W. (1967) Intensional interpretation of functionals of finite type I. J. Symbolic Logic 32, 198-212.
-
(1967)
J. Symbolic Logic
, vol.32
, pp. 198-212
-
-
Tait, W.W.1
|