Partial functions in type theory

DOI10.1305/NDJFL/1093634483MaRDI QIDQ689208zbMATH OpenOpenAlexFDO

Authors François Lepage

Publication date 5 June 1994

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093634483

zbMATH Keywords

general recursive definition of partial functions in type theorysemantics of intensional logic

Mathematics Subject Classification ID

Recommendations

• Partial functions in a total setting
• A functional partial semantics for intensional logic
• First Steps Towards Harnessing Partial Functions in Fuzzy Type Theory
• A partial functions version of Church's simple theory of types
• Automated Deduction – CADE-19

Cited in

(20)

• Partial inductive definitions
• A simple type theory with partial functions and subtypes
• An axiomatic theory for partial functions
• Partial functions in ACL2
• A set theory with support for partial functions
• On extensions of partial functions
• Partial Types and Intervals
• A Type of Partial Recursive Functions
• scientific article; zbMATH DE number 3685418 (Why is no real title available?)
• scientific article; zbMATH DE number 177846 (Why is no real title available?)
• scientific article; zbMATH DE number 1341476 (Why is no real title available?)
• Partial elements and recursion via dominances in univalent type theory
• Fuzzy type theory with partial functions
• A partial functions version of Church's simple theory of types
• Automated Deduction – CADE-19
• First Steps Towards Harnessing Partial Functions in Fuzzy Type Theory
• Propositional type theory of indeterminacy
• Intensional aspects of function definitions
• Partial functions in a total setting
• A functional partial semantics for intensional logic

This page was built for publication: Partial functions in type theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q689208)