conference paper
Reducibility Method in Simply Typed Lambda Calculus
2000
XIV Conference on Applied Mathematics "PRIM", Palić
Type
conference paper
Author(s)
Date Issued
2000
Published in
XIV Conference on Applied Mathematics "PRIM", Palić
Note
Also in: Novi Sad J. Math. 31 (2001), no. 1, 27--32
Written at
OTHER
EPFL units
Available on Infoscience
August 21, 2007
Use this identifier to reference this record