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

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

Representation and duality of the untyped λ-calculus in nominal lattice and topological semantics, with a proof of topological completeness

Representation and duality of the untyped λ-calculus in nominal lattice and topological semantics, with a proof of topological completeness

Gabbay, Murdoch J.; Gabbay, Michael J.

期刊名称Annals of Pure and Applied Logic
作者Gabbay, Murdoch J.; Gabbay, Michael J.
印刷ISSN0168-0072
文件大小1343.03KB
发表时间2016-10
DOI10.1016/j.apal.2016.10.001

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