Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Bucciarelli, A., Ehrhard, T.: An extensional model of the lambda-calculus in the category of sets and relations. Manuscript (2004)
2. de Carvalho, D.: Execution time of lambda-terms via non uniform semantics and intersection types (2006) Revised version available at
http://iml.univ-mrs.fr/c̃arvalho/Pub/computation.pdf
3. Dougherty, D.J., Ghilezan, S., Lescanne, P.: Intersection and union types in the lambda-bar-mu-mu-tilde-calculus. Electr. Notes Theor. Comput. Sci. 136, 153–172 (2005)
4. Danos, V., Joinet, J.-B., Schellinx, H.: Sequent calculi for second order logic. In: Girard, J.-Y., Lafont, Y., Regnier, L. (eds.) Advances in Linear Logic, pp. 211–224. Cambridge University Press, Cambridge (1995)
5. Ehrhard, T.: On Köthe sequence spaces and linear logic. Mathematical Structures in Computer Science 12, 579–623 (2001)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. δ is for Dialectica;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. Differential Linear Logic and Polarization;Lecture Notes in Computer Science;2009