Dualizing generalized algebraic data types by matrix transposition

DOI10.1007/978-3-319-89884-1_3zbMath1418.68026OpenAlexW2798938825MaRDI QIDQ2323967

Klaus Ostermann, Julian Jabs

Publication date: 13 September 2019

Full work available at URL: https://doi.org/10.1007/978-3-319-89884-1_3

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Unnamed Item

This page was built for publication: Dualizing generalized algebraic data types by matrix transposition