Arthur P. Hughes. Towards an Override in Topoi. In Sharon Flynn, Andrew Butterfield, editors, 2nd Irish Workshop on Formal Methods, Cork, Eire, 2-3 July 1998. Workshops in Computing, BCS, 1998.
No references recorded for this publication.
No citations of this publication recorded.