Refining Inductive Types

DOI10.2168/LMCS-8(2:9)2012zbMath1241.68045MaRDI QIDQ2890506

Patricia Johann, Neil Ghani, Robert Atkey

Publication date: 11 June 2012

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

zbMATH Keywords

fibrations; category theory; inductive types; dependent types; refinement types

Mathematics Subject Classification ID

68N18: Functional programming and lambda calculus

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)