Tanel Tammet, Jan M. Smith. Optimized Encodings of Fragments of Type Theory in First Order Logic. In Stefano Berardi, Mario Coppo, editors, Types for Proofs and Programs, International Workshop TYPES 95, Torino, Italy, June 5-8, 1995, Selected Papers. Volume 1158 of Lecture Notes in Computer Science, pages 265-287, Springer, 1995. [doi]
No references recorded for this publication.
No citations of this publication recorded.