Semantics of higher-order recursion schemes

DOI10.2168/LMCS-7(1:15)2011MaRDI QIDQ6829972zbMATH OpenFDO

Authors Jiří Adámek, Stefan Milius, Jiří Velebil

Publication date 26 May 2011

Published in Logical Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

higher-order recursion schemesrational treeinfinite \(\lambda \)-termssets in context

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40)

This page was built for publication: Semantics of higher-order recursion schemes

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