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

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

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 (International Conference on Typed Lambda Calculi and Applications TLCA '93 March, 16–18, 1993, Utrech, The Netherlands Proceedings) || A semantics for λ &-early: a calculus with overloading and early binding

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 (International Conference on Typed Lambda Calculi and Applications TLCA '93 March, 16–18, 1993, Utrech, The Netherlands Proceedings) || A semantics for λ &-early: a calculus with overloading and early binding

Bezem, Marc; Groote, Jan Friso

作者Bezem, Marc; Groote, Jan Friso
文件大小1084.27KB
发表时间1993
DOI10.1007/bfb0037101
页码107-123

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