[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 1139 || λ-calculi with explicit substitutions and composition which preserve β-strong normalization
Hanus, Michael, Rodríguez-Artalejo, MarioVolume:
10.1007/3-
Year:
1996
Language:
english
Pages:
15
DOI:
10.1007/3-540-61735-3_19
File:
PDF, 813 KB
english, 1996