Generalizing Substitution

DOI10.1051/ITA:2003022MaRDI QIDQ4460688zbMATH OpenOpenAlexFDO

Authors Tarmo Uustalu

Publication date 29 March 2004

Published in RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL http://www.numdam.org/item?id=ITA_2003__37_4_315_0, http://www.numdam.org/item?id=ITA_2003__37_4_315_0/, https://eudml.org/doc/92726

zbMATH Keywords

guarded substitutionterms

Mathematics Subject Classification ID

Free algebras (08B20) Categories of machines, automata (18B20) Categorical semantics of formal languages (18C50) Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 2087341
• On second-order iterative monads
• Infinite trees and completely iterative theories: A coalgebraic view
• Initial algebras of terms with binding and algebraic structure
• A general final coalgebra theorem

Cites work

• Coalgebraic monads
• Coequalizers and free triples
• Dualising initial algebras
• Free iterative theories: a coalgebraic view
• Generalised coinduction
• Generalized coiteration schemata
• scientific article; zbMATH DE number 1701358 (Why is no real title available?)
• scientific article; zbMATH DE number 3512082 (Why is no real title available?)
• scientific article; zbMATH DE number 3549200 (Why is no real title available?)
• scientific article; zbMATH DE number 1314221 (Why is no real title available?)
• scientific article; zbMATH DE number 1343506 (Why is no real title available?)
• scientific article; zbMATH DE number 2087341 (Why is no real title available?)
• Infinite trees and completely iterative theories: A coalgebraic view
• On iteratable endofunctors
• On the algebraic structure of rooted trees
• Parametric corecursion
• Recursion schemes from comonads
• Substitution in non-wellfounded syntax with variable binding

Cited in

(29)

• Bases for parametrized iterativity
• Complete Elgot monads and coalgebraic resumptions
• Abstract substitution in enriched categories
• Point-free substitution
• Base modules for parametrized iterativity
• Algebras with parametrized iterativity
• The coinductive resumption monad
• Substitution in non-wellfounded syntax with variable binding
• Higher-order algebras and coalgebras from parameterized endofunctors
• Unifying guarded and unguarded iteration
• A coinductive calculus for asynchronous side-effecting processes
• A coinductive calculus for asynchronous side-effecting processes
• scientific article; zbMATH DE number 2080005 (Why is no real title available?)
• Unguarded recursion on coinductive resumptions
• scientific article; zbMATH DE number 2087341 (Why is no real title available?)
• On the Notion of Substitution
• Term context
• Full substitutability
• The parametric continuation monad
• scientific article; zbMATH DE number 6740664 (Why is no real title available?)
• Initial algebras of terms with binding and algebraic structure
• Monadic augment and generalised short cut fusion
• Substitution operators
• Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot
• Unguarded recursion on coinductive resumptions
• Representing guardedness in call-by-value and guarded parametrized monads
• A unifying categorical view of nondeterministic iteration and tests
• Substitution in non-wellfounded syntax with variable binding
• Uniform Elgot iteration in foundations

This page was built for publication: Generalizing Substitution

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