Partial functions in type theory

DOI10.1305/NDJFL/1093634483zbMATH Open0788.03004OpenAlexW1967258657MaRDI QIDQ689208FDOQ689208

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

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Cited In (15)

• Title not available (Why is that?)
• A functional partial semantics for intensional logic
• Fuzzy type theory with partial functions
• First Steps Towards Harnessing Partial Functions in Fuzzy Type Theory
• Title not available (Why is that?)
• Partial elements and recursion via dominances in univalent type theory
• On extensions of partial functions
• Partial functions in ACL2
• An axiomatic theory for partial functions
• A set theory with support for partial functions
• A Type of Partial Recursive Functions
• Propositional type theory of indeterminacy
• Automated Deduction – CADE-19
• Partial Types and Intervals
• A partial functions version of Church's simple theory of types

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)