Volume 91; Issue 2-3

Annals of Pure and Applied Logic

Volume 91; Issue 2-3
1

Destruction or preservation as you like it

Year:
1998
Language:
english
File:
PDF, 3.03 MB
english, 1998
2

Typing untyped λ-terms, or reducibility strikes again!

Year:
1998
Language:
english
File:
PDF, 2.63 MB
english, 1998
3

Author index volume 91 (1998)

Year:
1998
Language:
english
File:
PDF, 35 KB
english, 1998