Author:
Schmidt-Schauss Manfred,Sabel David,Schütz Marko
Subject
Computer Science Applications,General Mathematics,Software
Reference39 articles.
1. S. Abramsky and C. Hankin,Abstract interpretation of declarative languages. Ellis Horwood, (1987).
2. A. Aiken, D. Kozen, M.Y. Vardi and E.L. Wimmers, The complexity of set constraints, inProc. CSL 1993, Swansea, Wales (1993) 1–17.
3. Z.M. Ariola and S. Blom, Cyclic lambda calculi, inTACS, Sendai, Japan (1997) 77–106.
4. Lambda Calculus with Explicit Recursion
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献