Administrative normal form and focusing for lambda calculi

MaRDI QIDQ6599526zbMATH OpenFDO

Authors David A. Binder, Thomas Piecha

Publication date 6 September 2024

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) General logic (03Bxx)

This page was built for publication: Administrative normal form and focusing for lambda calculi

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