Author:
Turner David,Winskel Glynn
Publisher
Springer Berlin Heidelberg
Reference8 articles.
1. Lecture Notes in Computer Science;N. Benton,1993
2. Gabbay, M.J.: A Theory of Inductive Definitions with Alpha-Equivalence. PhD thesis, Cambridge University (2001)
3. Gabbay, M.J., Pitts, A.M.: A new approach to abstract syntax with variable binding. Formal Aspects of Computing 13, 341–363 (2001)
4. Nygaard, M., Winskel, G.: Domain theory for concurrency. Theor. Comput. Sci. 316(1-3), 153–190 (2004)
5. Turner, D.C.: Nominal Domain Theory for Concurrency. PhD thesis, Cambridge University (submitted) (2008), http://www.cl.cam.ac.uk/~dct25/
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献