Type-Theoretic Functional Semantics
- 25 July 2002
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- First Order Logic with Domain ConditionsPublished by Springer Nature ,2003
- Nested General Recursion and Partiality in Type TheoryPublished by Springer Nature ,2001
- A general formulation of simultaneous inductive-recursive definitions in type theoryThe Journal of Symbolic Logic, 2000
- Another Look at Nested RecursionPublished by Springer Nature ,2000
- Fix-Point Equations for Well-Founded Recursion in Type TheoryPublished by Springer Nature ,2000
- Partial Functions in a Total SettingJournal of Automated Reasoning, 1997
- Winskel is (almost) rightPublished by Springer Nature ,1996
- Synthesis of ML programs in the system CoqJournal of Symbolic Computation, 1993
- The Formal Semantics of Programming LanguagesPublished by MIT Press ,1993
- Proving termination of normalization functions for conditional expressionsJournal of Automated Reasoning, 1986