scientific article; zbMATH DE number 1314224

MaRDI QIDQ4256310zbMATH OpenFDO

Authors Martin Rössiger

Publication date 12 July 1999

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=1919005

zbMATH Keywords

coalgebrasdatafunctors

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• Coalgebras in functional programming and type theory
• Nominal coalgebraic data types with applications to lambda calculus
• Coalgebraic operational semantics for an imperative language
• Coalgebraic monads
• CoCaml: functional programming with regular coinductive types
• Context-free languages, coalgebraically
• Predicate liftings and functor presentations in coalgebraic expression languages
• scientific article; zbMATH DE number 4002073
• Algebra and Coalgebra in Computer Science
• Context-free coalgebras

Cited in

(3)

• Final coalgebras for functors on measurable spaces
• Many-sorted coalgebraic modal logic: A model-theoretic study
• A syntactical approach to weak (bi-)simulation for coalgebras

This page was built for publication:

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