Simple Models for Recursive Schemes

DOI10.1007/978-3-642-32589-2_6MaRDI QIDQ2912708zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Recursions for the individual model
• scientific article; zbMATH DE number 2099460
• Modeling recursion with the aid of iterative algorithms
• A new spectrum of recursive models
• Recursive programs and the hierarchy of their models
• scientific article; zbMATH DE number 3910
• Recursion schemes from comonads
• Using models to model-check recursive schemes

Cited in

(6)

• A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata
• Using models to model-check recursive schemes
• Using models to model-check recursive schemes
• A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata
• scientific article; zbMATH DE number 7434531 (Why is no real title available?)
• 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)