Intuitionistic model constructions and normalization proofs
Other conference contribution, 1993
Author
Peter Dybjer
Programming Logic
Thierry Coquand
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Proceedings of the 1993 TYPES Workshop, Nijmegen
85-109
Subject Categories (SSIF 2011)
Other Mathematics