Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. M. J. Beeson. Foundations of Constructive Mathematics. Ergebnisse der Mathematik und ihrer Grenzgebeite. Springer-Verlag, Berlin, 1985.
2. L. Caires and L. Cardelli. A spatial logic for concurrency. Draft of 11 April, 2001.
3. Lect Notes Comput Sci;L. Cardelli,2001
4. The Coq proof assistant. Institut National de Recherche en Informatique et en Automatique, France. http://coq.inria.fr/
5. N. G. de Bruijn. Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem. Indag. Math., 34:381–392, 1972.
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献