An implementation model of the typed λ-calculus based on Linear Chemical Abstract Machine
Shinya Sato, Toru Sugimoto, Shinichi YamadaVolume:
64
Year:
2002
Language:
english
Pages:
16
DOI:
10.1016/s1571-0661(04)80356-6
File:
PDF, 354 KB
english, 2002