The category of complete partial ord.ers: ø tool of mo,lci,ng meaning (0)

by G Plotkin
Venue:in: "Proceedings of the Summer School on Foundations of Artificial Intelligence and Computer Science", Instituto di Scienze dell'Informazione, Universita di Pisa, L978