A Proof of Strong Normalization For the Theory of Constructions Using a Kripke-Like Interpretation (1990)

Cached

Download Links

by Thierry Coquand , Jean Gallier , Le Chesnay Cedex
Venue:In Workshop on Logical Frameworks--Preliminary Proceedings
Citations:20 - 0 self