Kripke-Style Models for Typed Lambda Calculus (1996)

Cached

Download Links

by John C. Mitchell , Eugenio Moggi
Venue:Annals of Pure and Applied Logic
Citations:44 - 3 self