Currying order and restricted algorithmic beta-conversion in type theory of acyclic recursion

MaRDI QIDQ6599533zbMATH OpenFDO

Authors Roussanka Loukanova

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: Currying order and restricted algorithmic beta-conversion in type theory of acyclic recursion

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