Recursive Definitions in Type Theory

Fix-Point Equations for Well-Founded Recursion in Type Theory

TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics

Nested General Recursion and Partiality in Type Theory

TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics

A Modality for Recursion

LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science

Logic of subtyping

Theoretical Computer Science - Clifford lectures and the mathematical foundations of programming semantics

A Type of Partial Recursive Functions

TPHOLs '08 Proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics

Recursive functions with higher order domains

TLCA'05 Proceedings of the 7th international conference on Typed Lambda Calculi and Applications

RECURSIVE MODELS OF GENERAL INDUCTIVE TYPES

Fundamenta Informaticae