Publisher
Springer International Publishing
Reference25 articles.
1. Abramsky, S.: Domain theory in logical form. Annals of Pure and Applied Logic 51, 1–77 (1991)
2. Abramsky, S., Jung, A.: Domain Theory. In: Handbook of Logic in Computer Science, vol. 3, pp. 1–168. Clarendon Press (1994)
3. Abramsky, S., Ong, C.-H.L.: Full abstraction in the lazy lambda calculus. Information and Computation 105, 159–267 (1993)
4. Barber, A.: Linear Type Theories, Semantics and Action Calculi. Ph.D. thesis, Edinburgh University (1997)
5. Barthe, G., Capretta, V.: Setoids in type theory. Journal of Functional Programming 13(2), 261–293 (2003)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献