Intuitionistic model constructions and normalization proofs
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

Other Mathematics

More information

Created

10/7/2017