Veronica Gaspes. Formal Proofs of Combinatorial Completeness. In To appear in the informal proceedings from the logical framework workshop at Bastad, June 1992. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Martin-Löf's Type Theory - Nordström, Petersson, Smith (Correct)
A user's guide to ALF - Altenkirch, Gaspes, Nordström, von.. (1994) (30 citations) Self-citation (Gaspes) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC