A Translation of Intersection and Union Types for the λμ-Calculus

DOI10.1007/978-3-319-12736-1_7zbMath1453.68037OpenAlexW170072346MaRDI QIDQ2789043

Takafumi Sakurai, Kentaro Kikuchi

Publication date: 26 February 2016

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-12736-1_7

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Unnamed Item ⋮ Unnamed Item

This page was built for publication: A Translation of Intersection and Union Types for the λμ-Calculus