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:

ΒΚΠ - Πατρα: ALFf

Holdings details from ΒΚΠ - Πατρα: ALFf
Call Number: 005.13 O'DO
Copy 1 Available