On the Semantic Expressiveness of Iso- and Equi-Recursive Types

Recursive types extend the simply-typed lambda calculus (STLC) with the additional expressive power to enable diverging computation and to encode recursive data-types (e.g., lists). Two formulations of recursive types exist: iso-recursive and equi-recursive. The relative advantages of iso- and equi-...

Full description

Saved in:

Bibliographic Details
Published in:	Logical methods in computer science Vol. 20, Issue 4
Main Authors:	Devriese, Dominique, Martin, Eric Mark, Patrignani, Marco
Format:	Journal Article
Language:	English
Published:	Logical Methods in Computer Science e.V 14.11.2024
Subjects:	computer science - programming languages
ISSN:	1860-5974, 1860-5974
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!