Parallel Reduction in Type Free λμ-Calculus
Kensuke Baba, Sachio Hirokawa, Ken-Etsu FujitaVolume:
42
Year:
2001
Language:
english
Pages:
15
DOI:
10.1016/s1571-0661(04)80878-8
File:
PDF, 164 KB
english, 2001