Conference paper
Rational algebraic theories and fixed-point solutions
J.B. Wright, J.W. Thatcher, et al.
FOCS 1976
Paper
Data abstraction, data bases and conceptual modelling (Position Paper)
Abstract
No abstract available.
Related
J.W. Thatcher, J.B. Wright
Mathematical Systems Theory
J.W. Thatcher
ACM SIGPLAN Notices
J.W. Thatcher, E.G. Wagner, et al.
ACM Transactions on Programming Languages and Systems (TOPLAS)