Simple Models for Recursive Schemes
From MaRDI portal
Publication:2912708
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)