A. Simpson, Categorical completeness results for the simply-typed - calculus, in : M. Dezani-Ciancaglini and G. Plotkin eds., Lecture Notes in Computer Science vol. 902, TLCA'95, p.414-427, Springer Verlag, Berlin, 1995. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Building continuous webbed models for System F - Berardi, Berline (1998) (1 citation) (Correct)
βη-complete models for system F - Berardi, Berline (1999) (Correct)
βη-complete models for system F - Berardi, Berline (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC