Strong Normalization and Equi-(Co)Inductive Types

DOI10.1007/978-3-540-73228-0_3zbMath1215.03019OpenAlexW1597502264MaRDI QIDQ3612619

Andreas Abel

Publication date: 10 March 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73228-0_3

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Mixed Inductive/Coinductive Types and Strong Normalization ⋮ Corecursion and Non-divergence in Session-Typed Processes

This page was built for publication: Strong Normalization and Equi-(Co)Inductive Types