scientific article; zbMATH DE number 2003155

MaRDI QIDQ4435467zbMATH OpenFDO

Authors Pietro Di Gianantonio, Marino Miculan

Publication date 12 November 2003

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Inductive and coinductive components of corecursive functions in Coq
• scientific article; zbMATH DE number 1223720
• scientific article; zbMATH DE number 3928338
• A fixedpoint approach to implementing (co)inductive definitions
• Foundations of Software Science and Computation Structures

Cited in

(14)

• A model of guarded recursion via generalised equilogical spaces
• A term calculus for (co-)recursive definitions on streamlike data structures
• Transfinite step-indexing: decoupling concrete and logical steps
• Deriving structural hylomorphisms from recursive definitions
• Inductive and coinductive components of corecursive functions in Coq
• Using Structural Recursion for Corecursion
• Coalgebraic Reasoning in Coq: Bisimulation and the λ-Coiteration Scheme
• Iris from the ground up: a modular foundation for higher-order concurrent separation logic
• scientific article; zbMATH DE number 1424015 (Why is no real title available?)
• NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC
• Foundations of Software Science and Computation Structures
• The optimal fixed point combinator
• Formal definitions and proofs for partial (co)recursive functions
• On structural proof theory of the modal logic \(\mathsf{K}^+\) extended with infinitary derivations

Describes a project that uses

Uses Software

• Coq
• Haskell

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