Author:
Berardi Stefano,Tatsuta Makoto
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Lecture Notes in Artificial Intelligence;A. Abel,2008
2. Berardi, S., Tatsuta, M.: Internal Normalization, Compilation and Decompilation for System
${\mathcal F}_{\beta\eta}$
(full paper). Draft,
http://www.di.unito.it/~stefano/CompletenessF.pdf
3. Berger, U., Eberl, M., Schwichtenberg, H.: Normalisation by Evaluation. In: Prospects for Hardware Foundations, pp. 117–137 (1998)
4. Barbanera, F., Berardi, S.: A full continuous model of polymorphism. Theor. Comput. Sci. 290(1), 407–428 (2003)
5. Berardi, S., Berline, C.: βη-Complete Models for System F. Mathematical Structures in Computer Science 12(6), 823–874 (2002)