Silvia Ghilezan and Viktor Kuncak. Reducibility method in simply typed lambda calculus. In XIV Conference on Applied Mathematics "PRIM", Palić, June 2000. Also in: Novi Sad J. Math. 31 (2001), no. 1, 27--32.

[ bib ] Back