Author:
Bourreau Pierre,Salvati Sylvain
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Aoto, T.: Uniqueness of normal proofs in implicational intuitionistic logic. Journal of Logic, Language and Information 8, 217–242 (1999)
2. Bassac, C., Mery, B., Retoré, C.: Towards a type-theoretical account of lexical semantics. Journal of Logic, Language and Information 19(2), 229–245 (2010)
3. Bourreau, P., Salvati, S.: The game of characterizing uniquely typed sequents in nj. Submitted to TLCA 2011 (2011)
4. Coppo, M., Dezani-Ciancaglini, M.: An extension of the basic functionality theory for the λ-calculus. Notre Dame Journal of Formal Logic 21(4), 685–693 (1980)
5. Curry, H.B.: Some logical aspects of grammatical structure (1961)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献