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

This note has 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 22 April 2023. Come back to main page.