Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference38 articles.
1. The Lambda Calculus: Its Syntax and Semantics;Barendregt,1984
2. M.J. Beeson, Foundations of Constructive Mathematics, Ergebnisse der Mathematik und ihrer Grenzgebeite, Springer, Berlin, 1985
3. A spatial logic for concurrency (part I);Caires,2001
4. A spatial logic for concurrency (part II);Caires,2002
5. Logical properties of name restriction;Cardelli,2001
Cited by
241 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献