Simple Models for Recursive Schemes

DOI10.1007/978-3-642-32589-2_6zbMATH Open1365.68332OpenAlexW1880055068MaRDI QIDQ2912708

Igor Walukiewicz

Publication date: 25 September 2012

Published in: Mathematical Foundations of Computer Science 2012 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-32589-2_6

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Specification and verification (program logics, model checking, etc.) (68Q60) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Model structure incorporated into recursive partial realization strategies

This page was built for publication: Simple Models for Recursive Schemes

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