Intuitionistic Model Constructions and Normalization Proofs (1998)

Cached

Download Links

by Thierry Coquand , Peter Dybjer
Citations:44 - 7 self