Computing in systems described by equations. (English) Zbl 0421.68038
Lecture Notes in Computer Science. 58. Berlin-Heidelberg-New York: Springer-Verlag. XIV, 111 p. (1977).
MSC:
68Q65 | Abstract data types; algebraic specification |
68N01 | General topics in the theory of software |
03B40 | Combinatory logic and lambda calculus |
08B05 | Equational logic, Mal’tsev conditions |