Journal of Computing and Information Technology

Mirasyedioglu, Seref, Faculty of Education, Mathematics Department, Besevler Ankara, Turkey, Turkey

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