An axiomatic theory for partial functions

DOI10.1006/INCO.1993.1063zbMath0804.03036OpenAlexW2000079419MaRDI QIDQ1317437

Jan Kuper

Publication date: 22 January 1995

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://research.utwente.nl/en/publications/an-axiomatic-theory-for-partial-functions(e9db9484-baf5-49b0-825d-608bf451344d).html

zbMATH Keywords

theory of functionsrelative consistencyBoffa's axiom of universalitymodel of lambda calculusone- place functionsrelation of applicationRussel paradox

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Other classical set theory (including functions, relations, and set algebra) (03E20) Combinatory logic and lambda calculus (03B40)

This page was built for publication: An axiomatic theory for partial functions