|
|
Exact computer arithmetic (using linear fractional transformations). Domain Theory. |
Jean-Jacques Eigeldinger
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. |