APA Style
SEVERI, PAULA GABRIELA. (1996).
Normalisation in lambda calculus and its relation to type inference (1).
Eindhoven:
Eindhoven University of Technology.
Chicago Style
SEVERI, PAULA GABRIELA.
Normalisation in lambda calculus and its relation to type inference.
1
Eindhoven:
Eindhoven University of Technology,
1996.
TXB.
MLA Style
SEVERI, PAULA GABRIELA.
Normalisation in lambda calculus and its relation to type inference.
1
Eindhoven:
Eindhoven University of Technology,
1996.
TXB.
Turabian Style
SEVERI, PAULA GABRIELA.
Normalisation in lambda calculus and its relation to type inference.
1
Eindhoven:
Eindhoven University of Technology,
1996.
TXB.