Journal of Computing and Information Technology

Barbanera, Franco, 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