Author:
Barbanera Franco,Dezani-Ciancaglini Mariangiola,de’Liguoro Ugo,Venneri Betti
Publisher
Springer Nature Switzerland
Reference27 articles.
1. Anderson, A.R., Belnap, N.: Entailment: The Logic of Relevance and Necessity, vol. I. Princeton University Press, Princeton (1975)
2. Alessi, F., Barbanera, F.: Strong conjunction and intersection types. In: Tarlecki, A. (ed.) MFCS. LNCS, vol. 520, pp. 64–73. Springer, Heidelberg (1991). https://doi.org/10.1007/3-540-54345-7_49
3. van Bakel, S.: Strict intersection types for the lambda calculus. ACM Comput. Surv. 43(3), 20:1–20:49 (2011). https://doi.org/10.1145/1922649.1922657
4. Barbanera, F., Martini, S.: Proof-functional connectives and realizability. Arch. Math. Logic 33(3), 189–211 (1994). https://doi.org/10.1007/BF01203032
5. Barendregt, H.: The lambda calculus, its syntax and semantics. In: Studies in logic and foundations of mathematics, vol. 103. North-Holland (1981)