Journal of Computing and Information Technology

Aoun, Ali S., Faculty of Science, Mathematics Department Hacettepe University, Ankara, Turkey, Turkey

• Vol 5, No 2 (1997) - Regular Papers
  Principal Typing for Parallel and non-Deterministic Lambda-calculus
  Abstract  PDF