Dezani-Ciancaglini, Mariangiola, Dipartimento di Informatica, Universita di Torino, Torino, Italy, Italy
-
Vol 5, No 2 (1997) - Regular Papers
Principal Typing for Parallel and non-Deterministic Lambda-calculus
Abstract PDF
Journal of Computing and Information Technology