Bootstrapping Inductive and Coinductive Types in HasCASL

DOI10.2168/LMCS-4(4:17)2008MaRDI QIDQ3623012zbMATH OpenFDO

Authors Lutz Schröder

Publication date 29 April 2009

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2168/LMCS-4(4:17)2008

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Abstract data types; algebraic specification (68Q65)

Recommendations

• Bootstrapping Types and Cotypes in HasCASL
• Semantics of constructions. II: The initial algebraic approach
• \textsc{CoCasl} at work -- modelling process algebra
• Strong categorical datatypes II: A term logic for categorical programming
• Algebraic-coalgebraic specification in CoCASL

Cited in

(1)

• Bootstrapping Types and Cotypes in HasCASL

Describes a project that uses

Uses Software

• CoCasl
• Hets

This page was built for publication: Bootstrapping Inductive and Coinductive Types in HasCASL

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