Computational Types from a Logical Perspective.
Computational Types from a Logical Perspective.
P. N. Benton, Gavin M. Bierman, Valeria de Paiva
01 September 1998
Venue : J. Funct. Program.
External Link: http://journals.cambridge.org/action/displayAbstract?aid=44159