Author:
Nesi Monica,Paiva Valeria,Ritter Eike
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy, ‘Explicit substitutions', in Journal of Functional Programming, 1991, Vol. 1, No. 4, pp. 375–416.
2. N. Benton, G. Bierman, V. de Paiva, M. Hyland, ‘Term assignment for intuitionistic linear logic', Technical Report No. 262, Computer Laboratory, University of Cambridge, 1992.
3. G. Bierman, ‘On Intuitionistic Linear Logic', Draft of Ph.D. Thesis, Computer Laboratory, University of Cambridge, 1993.
4. T. Coquand, Th. Ehrhard, ‘An equational presentation of higher order logic', in Proceedings of Category Theory and Computer Science, Lecture Notes in Computer Science 283, Springer-Verlag, 1987, pp. 40–56.
5. G. Cousineau, P.-L. Curien, M. Mauny, ‘The categorical abstract machine', in Science of Computer Programming, 1987, Vol. 8, pp. 173–202.