Simple Models for Recursive Schemes

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

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

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

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)

Cited In (6)

• 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
• Title not available (Why is that?)
• A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata
• 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)