Building-in equational theories', Machine Intelligence 7. Reynolds J. C. [1965], Unpublished seminar notes (0)

by G Plotkin
Venue:International J. Computer Mathematics