Notes on domain theory and topology. F. Blanqui. August 2012.

These notes have been written to complement the study of the very nice book of Gilles Dowek on ``Proofs and Algorithms - An Introduction to Logic and Computability'' by Ying Jiang's group of students at the Institute of Software of the Chinese Academy of Sciences (ISCAS) that met more or less every Tuesday from May to August 2012.


Statcounter W3C Validator Last updated on 12 October 2015. Come back to main page.