Publisher
Springer Science and Business Media LLC
Reference24 articles.
1. Asperti, A.: Light affine logic. In: Proceedings of LICS’98, 300–308 (1998)
2. Asperti A. and Roversi L. (2002). Intuitionistic light affine logic (proof-nets, normalization complexity, expressive power, programming notation). ACM Trans. Comput. Logic 3(1): 137–175
3. Baillot, P.: Stratified coherence spaces: a denotational semantics for light linear logic. Theor. Comput. Sci. 318(1–2), 29–55 (2004)
4. Baillot, P., Terui, K.: Light types for polynomial time computation in lambda-calculus. In:Proceedings of LICS’04, 266–275 (2004)
5. Barendregt, H.P.:Lambda calculi with types. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.), Handbook of Logic in Computer Science, vol. 2, pp. 117–309. Oxford University Press (1992)
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献