A Coalgebraic Foundation for Coinductive Union Types

DOI10.1007/978-3-662-43951-7_6zbMath1409.68177OpenAlexW133544127MaRDI QIDQ5167827

Jurriaan Rot, Marcello M. Bonsangue, Davide Ancona, Frank S. de Boer, Jan J. M. M. Rutten

Publication date: 1 July 2014

Published in: Automata, Languages, and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-43951-7_6

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• CDuce
• XDuce

This page was built for publication: A Coalgebraic Foundation for Coinductive Union Types