A Syntactic Characterization of the Equality in some Models for the Lambda Calculus (1976)

Cached

Download Links

by Martin Hyland
Venue:J. London Math. Soc
Citations:48 - 0 self