Intersection Types and Termination Properties

DOI10.3233/FI-2012-775zbMath1266.03024OpenAlexW1898802113MaRDI QIDQ4903718

George Koletsos

Publication date: 24 January 2013

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2012-775

zbMATH Keywords

terminationconservationintersection typeslambda-calculustype assignment

Mathematics Subject Classification ID

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

This page was built for publication: Intersection Types and Termination Properties