Order-sorted Algebraic Specifications with Higher-order Functions
A. E. Haxthausen
Type
Journal paper [With referee]
Journal
Theoretical Computer Science
Year
1997
Vol.
183
pp.
157-185
BibTeX data
[bibtex]
IMM Group(s)
Computer Science & Engineering