scientific article; zbMATH DE number 2000441

zbMATH Open1023.68085MaRDI QIDQ4433992FDOQ4433992

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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)