Journal of Computing and Information Technology
User
Username
Password
Remember me
Journal Content
Search
Search Scope
All
Authors
Title
Abstract
Index terms
Full Text
Browse
By Issue
By Author
By Title
Information
For Readers
For Authors
For Librarians
Journal Help
Open Journal Systems
Home
About
Login
Register
Search
Current
Archives
Announcements
Home
>
Search
>
Author Details
Author Details
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