Conservativeness of Λ over λσ-calculus

Logic, Language and Computation - Lecture Notes in Computer Science ◽

10.1007/bfb0032395 ◽

2005 ◽

pp. 73-94

Author(s):

Masahiko Sato ◽

Yukiyoshi Kameyama

Download Full-text