id: 70802223
dt: a
an: 70802223
au: Berger, Ulrich; Schwichtenberg, Helmut
ti: An inverse of the evaluation functional for typed lambda-calculus
so: LICS, 203-211 (1991).
py: 1991
pu: 
la: EN
cc: 
ut: 
ci: 
li: