An algebraic view on recursive types

DOI10.1023/A:1008648420750zbMath0933.03011OpenAlexW1552951486MaRDI QIDQ1306714

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 algebralambda calculusstrong normalizationrecursive typesfree groupoidpositive typessubject reduction property

Mathematics Subject Classification ID

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

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