Partial functions in type theory

From MaRDI portal

Publication:689208

Jump to:navigation, search

DOI10.1305/NDJFL/1093634483zbMath0788.03004OpenAlexW1967258657MaRDI QIDQ689208

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 theory semantics of intensional logic

Mathematics Subject Classification ID

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:689208&oldid=12592601"