Zeitraum
1993 - 1996
Anzahl
5
Co-Autoren
Normalisation in lambda calculus and its relation to type inference (1996)
Severi, PG
Doctoral degree 18-06-1996; Department of Mathematics and Computing Science; Supervisors: J.C.M. Baeten and H.P. Barendregt
A type inference algorithm for pure type systems (1995)
On normalisation (1995)
Raamsdonk, Femke Van, Severi, PG
Pure type systems with definitions (1993)
Severi, PG, Poll, E
Abstract reduction and topology (1993)
Ferrer, Walter, Severi, PG