Modified Realizability Toposes and Strong Normalization Proofs (Extended Abstract) (1993)

Cached

Download Links

by J.M.E. Hyland , C. -h. L. Ong
Venue:Typed Lambda Calculi and Applications, LNCS 664
Citations:14 - 1 self