

Exact computer arithmetic (using linear fractional transformations). Domain Theory. 
Philosophy. Scepticism.  
[Empiricus1933]  Outlines of Pyrrhonism  In Greek with translation into English by R.G. Bury; Harvard University Press, 1933. 
Exact real number computation, real and interval analysis, topological methods in computer science, domain theory, semantics, PCF, sequentiality. 
Logic, semantics, and the philosophy of language.  
[Etchemendy1990]  The Concept of Logical Consequence; The University of Chicago Press 1990. 