Intuitionistic Model Constructions and Normalization Proofs

Thierry Coquand, Peter Dybjer. Intuitionistic Model Constructions and Normalization Proofs. Mathematical Structures in Computer Science, 7(1):75-94, 1997.

Abstract

Abstract is missing.