A-Z :
ACADEMIC DEPARTMENTS
|
SERVICES
|
STAFF
|
UNIVERSITY of GLASGOW
Computing at Glasgow University
Departmental Research Publications
List collections
List DCS Technical Reports
All Departmental Publications, grouped by year
People Finder:
Computing Science is a member of the Faculty of Information and Mathematical Sciences
Quick Links
Research
groups
Staff Research Interests
Funded Research Projects
Research Degrees
Paper ID: 6102
Automatin Recursive Type Definitions in Higher Order Logis
Melham,T.F.
Publication Type:
Journal
Appeared in:
Page Numbers :
341-386
Publisher:
N/A
Year:
1989
ISBN/ISSN:
Abstract:
No abstract available.
Bibtex entry
Endnote XML
