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: 6235
DCS Tech Report Number: TR-2000-55
Defining a non-concrete recursive type in HOL which includes sets
Vos,T. Swierstra,D.
Publication Type:
Tech Report (internal)
Appeared in:
DCS Tech Report
Page Numbers :
Publisher:
Dept of Computing Science, University of Glasgow
Year:
2000
Abstract:
No abstract available.
Bibtex entry
Endnote XML
