An environment machine for the λμ-calculus
de GROOTE, PHILIPPEVolume:
8
Language:
english
Journal:
Mathematical Structures in Computer Science
DOI:
10.1017/s0960129598002667
Date:
December, 1998
File:
PDF, 418 KB
english, 1998