Author:
Zielenkiewicz Maciej,Schubert Aleksy
Publisher
Springer International Publishing
Reference12 articles.
1. Ben-Yelles, C.B.: Type-assignment in the lambda-calculus; syntax and semantics. Ph.D. thesis, Mathematics Department, University of Wales, Swansea, UK (1979)
2. Broda, S., Damas, L.: On long normal inhabitants of a type. J. Logic Comput. 15(3), 353–390 (2005)
3. Lecture Notes in Computer Science;B Düdder,2014
4. Filiot, E., Talbot, J., Tison, S.: Tree automata with global constraints. Int. J. Found. Comput. Sci. 21(4), 571–596 (2010)
5. de Groote, P.: On the strong normalisation of intuitionistic natural deduction with permutation-conversions. Inf. Comput. 178(2), 441–464 (2002)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献