Positive recursive type assigment (1995)

by P Urzyczyn
Venue:Mathematical Foundations of Computer Science