Author:
Bucciarelli Antonio,Ehrhard Thomas
Reference16 articles.
1. Domain theory in logical form;Abramsky;Ann. Pure Appl. Logic,1991
2. R. Amadio, P.-L. Curien, Domains and lambda-calculi, Cambridge Tracts in Theoretical Computer Science, vol. 46, Cambridge University Press, Cambridge, 1998.
3. M. Coppo, M.-A. Dezzani, F. Honsell, G. Longo, Extended type structures and filter lambda models, in: G. Lolli et al. (Eds.), Logic Colloquium 82, North-Holland, Amsterdam, 1984, pp. 241–262.
4. Hypercoherences: a strongly stable model of linear logic;Ehrhard;Math. Struct. in Comput. Sci.,1993
5. Linear Logic;Girard;Theoret. Comput. Sci.,1987
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献