Positive Inductive-Recursive Definitions

DOI10.2168/LMCS-11(1:13)2015zbMath1347.68246arXiv1502.05561OpenAlexW2148742142MaRDI QIDQ5246718

Fredrik Nordvall Forsberg, Lorenzo Malatesta, Neil Ghani

Publication date: 22 April 2015

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

Full work available at URL: https://arxiv.org/abs/1502.05561

zbMATH Keywords

Martin-Löf type theorydata typesinduction-recursioninitial-algebra semantics

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

This page was built for publication: Positive Inductive-Recursive Definitions