Bootstrapping Inductive and Coinductive Types in HasCASL

DOI10.2168/LMCS-4(4:17)2008zbMath1161.68383MaRDI QIDQ3623012

Lutz Schröder

Publication date: 29 April 2009

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

Mathematics Subject Classification ID

68N18: Functional programming and lambda calculus

68Q65: Abstract data types; algebraic specification

Uses Software

• Hets
• CoCasl