发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics and Programs Volume 982 || A λ-calculus à la de Bruijn with explicit substitutions

[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics and Programs Volume 982 || A λ-calculus à la de Bruijn with explicit substitutions

Hermenegildo, Manuel; Swierstra, S. Doaitse

作者Hermenegildo, Manuel; Swierstra, S. Doaitse
文件大小919.39KB
发表时间1995
DOI10.1007/BFb0026813
页码45-62

← 返回【学霸图书馆】主页