Nested General Recursion and Partiality in Type Theory (2000)

by Ana Bove , Venanzio Capretta
Venue:Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, volume 2152 of Lecture Notes in Computer Science
Citations:24 - 10 self

Document Versions

Nested General Recursion and Partiality in Type Theory –Ana Bove, Venanzio Capretta — 2000 — Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, volume 2152 of Lecture Notes in Computer Science
Nested general recursion and partiality in type theory –Ana Bove, Venanzio Capretta — 2001 — Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, volume 2152 of Lecture Notes in Computer Science