Infoscience
Reducibility Method in Simply Typed Lambda Calculus
2000
Also in: Novi Sad J. Math. 31 (2001), no. 1, 27--32
OTHER
