Author:
Bourreau Pierre,Salvati Sylvain
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Abramsky, S., McCusker, G.: Game semantics. In: Schwichtenberg, H., Berger, U. (eds.) Computational Logic: Proceedings of the 1997 Marktoberdorf Summer School, pp. 1–56. Springer, Heidelberg (1999)
2. Aoto, T.: Uniqueness of normal proofs in implicational intuitionistic logic. Journal of Logic, Language and Information 8, 217–242 (1999)
3. Barendregt, H.: λ-calculus: its syntax and semantics. Elsevier Science Publishers Ltd., Amsterdam (1984)
4. Broda, S., Damas, L.: On long normal inhabitants of a type. J. Log. Comput. 15(3), 353–390 (2005)
5. Belnap, N.: The two-property. Relevance Logic Newsletter, 173–180 (1976)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献