scientific article; zbMATH DE number 2000441

MaRDI QIDQ4433992zbMATH OpenFDO

Authors J. L. Freire Nistal, José E. Freire Brañas, Antonio A. Blanco Ferro, Juan J. Sánchez Penas

Publication date 3 November 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2178/21780583.htm

Mathematics Subject Classification ID

Recommendations

• A compositional coalgebraic model of fusion calculus
• HOCore in Coq
• CoCaml: functional programming with regular coinductive types
• Towards Rewriting in Coq
• Coalgebras in functional programming and type theory
• On the fusion of coalgebraic logics
• Inductive and coinductive components of corecursive functions in Coq
• A compositional coalgebraic model of a fragment of fusion calculus
• A coalgebraic foundation for coinductive union types

Cited in

(1)

• Logic of fusion

Describes a project that uses

Uses Software

• Coq

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 Q4433992)