UNIVERSITY of GLASGOW

Computing at Glasgow University
 
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