Addition of noncombinatorial relations to the lambda calculus
From MaRDI portal
The author introduces extensions of \(\lambda\)-calculus by means of new constants and relations; gives definitions for them to be consistent and correct; and proposes a correctness criterion for extensions.
This page was built for publication: Addition of noncombinatorial relations to the lambda calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1069922)
