Global semantic typing for inductive and coinductive computing

DOI10.4230/LIPICS.CSL.2013.469MaRDI QIDQ2958539zbMATH OpenFDO

Authors Daniel M. Leivant

Publication date 2 February 2017

Full work available at URL https://doi.org/10.4230/LIPICS.CSL.2013.469

zbMATH Keywords

coinductive typesequational programsglobal model theoryinductive typesintrinsic theories

Mathematics Subject Classification ID

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

Recommendations

• Global semantic typing for inductive and coinductive computing
• Semantics of constructions. II: The initial algebraic approach
• Realisability and adequacy for (co)induction
• Strong categorical datatypes II: A term logic for categorical programming
• General Recursion via Coinductive Types

Cited in

(1)

• Global semantic typing for inductive and coinductive computing

This page was built for publication: Global semantic typing for inductive and coinductive computing

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