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

Author(s):  
Kentaro Kikuchi ◽  
Takafumi Sakurai
Sign in / Sign up

Export Citation Format

Share Document