Equational logic as a programming language

Bibliographic Details
Main Author: O'Donnell, Michael J. (Author)
Format: Book
Language:English
Published: Cambridge Mass. Massachusetts Institute of Technology Cambridge Mass. c1985
Subjects:

Similar Items