An algebraic view on recursive types

DOI10.1023/A:1008648420750MaRDI QIDQ1306714zbMATH OpenOpenAlexFDO

Authors Michael Marz

Publication date 5 October 1999

Published in Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1008648420750

zbMATH Keywords

free algebrafree groupoidlambda calculuspositive typesrecursive typesstrong normalizationsubject reduction property

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Free algebras (08B20)

Recommendations

• scientific article; zbMATH DE number 956833
• scientific article; zbMATH DE number 1086659
• Assertions and recursions
• Modular properties of algebraic type systems

Cited in

(8)

• Galois Connections for Recursive Types
• scientific article; zbMATH DE number 179038 (Why is no real title available?)
• Assertions and recursions
• scientific article; zbMATH DE number 1377611 (Why is no real title available?)
• Recursive subtyping revealed
• Numbering matters
• scientific article; zbMATH DE number 956833 (Why is no real title available?)
• Two algorithms in search of a type-system

This page was built for publication: An algebraic view on recursive types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1306714)