Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference22 articles.
1. Alves S., Broda S.: A short note on type-inhabitation. Information Processing Letters 115(11), 908–911 (2015)
2. Bezhanishvili, M. N., Notes on Wajsberg’s proof of the separation theorem, in J. Srzednicki (ed.), Initiatives in Logic, vol. 2 of Reason and Argument, Springer, 1987, pp. 116–127.
3. Broda, S., and L. Damas, A context-free grammar representation for normal inhabitants of types in TA $${_{\lambda}}$$ λ , in P. Brazdil and A. Jorge (eds.), Progress in Artificial Intelligence, vol. 2258 of Lecture Notes in Computer Science, Springer, 2001, pp. 321–334.
4. Broda S., Damas L.: On long normal inhabitants of a type. Journal of Logic and Computation 15(3), 353–390 (2005)
5. de Groote P.: On the strong normalisation of intuitionistic natural deduction with permutation-conversions. Information and Computation 178(2), 441–464 (2002)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献