Author:
Hölzl Matthias M.,Crossley John N.
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Barendregt, H.P.: The Lambda Calculus, Its Syntax and Semantics. North-Holland, Amsterdam (1995)
2. Elements of Mathematics;N. Bourbaki,1989
3. Demoen, B., de la Banda, M.G., Harvey, W., Marriott, K., Stuckey, P.: An overview of HAL. In: Proceedings of Principles and Practice of Constraint Programming, pp. 174–188. Asociation for Computing Machinery (1999)
4. Doets, K.: From Logic to Logic Programming. The MIT Press, Cambridge (1994)
5. Matthew, C., Hennessy, B.: The semantics of call-by-value and call-by-name in a nondeterministic environment. SIAM Journal on Computing 9(1), 67–84 (1980)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献