conference paper

Reducibility Method in Simply Typed Lambda Calculus

Ghilezan, Silvia
•
Kuncak, Viktor  
2000
XIV Conference on Applied Mathematics "PRIM", Palić