Lambda Definability with Sums via Grothendieck Logical Relations

Lecture Notes in Computer Science - Typed Lambda Calculi and Applications ◽

10.1007/3-540-48959-2_12 ◽

1999 ◽

pp. 147-161 ◽

Author(s):

Marcelo Fiore ◽

Alex Simpson

Download Full-text