Intuitionistic Model Constructions and Normalization Proofs (1998)

Cached

Download Links

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