https://declanthompson.github.io/blog/aiart/ 2023-03-29T11:52:44-07:00 weekly https://declanthompson.github.io/blog/aiart/aranasstie/ 2023-03-29T11:52:44-07:00 weekly https://declanthompson.github.io/blog/ 2023-03-29T11:52:44-07:00 weekly https://declanthompson.github.io/ 2023-03-29T11:52:44-07:00 weekly https://declanthompson.github.io/tag/algorithms/ 2023-03-16T09:00:00-08:00 weekly https://declanthompson.github.io/talk/dd_23-03-16/ 2023-03-16T09:00:00-08:00 weekly https://declanthompson.github.io/talk/ 2023-03-16T09:00:00-08:00 weekly https://declanthompson.github.io/tags/ 2023-03-16T09:00:00-08:00 weekly https://declanthompson.github.io/tag/fun/ 2023-03-11T11:40:09-08:00 weekly https://declanthompson.github.io/tag/logic/ 2023-03-11T11:40:09-08:00 weekly https://declanthompson.github.io/tag/rotational-logic/ 2023-03-11T11:40:09-08:00 weekly https://declanthompson.github.io/blog/blogic/rotational/ 2023-03-11T11:40:09-08:00 weekly https://declanthompson.github.io/blog/blogic/ 2023-03-11T11:40:09-08:00 weekly https://declanthompson.github.io/blog/aiart/citypark/ 2023-03-09T15:55:58-08:00 weekly https://declanthompson.github.io/blog/aiart/bottestcosdel/ 2023-03-09T12:05:21-08:00 weekly https://declanthompson.github.io/publication-type/2/ 2023-01-24T00:00:00+00:00 weekly https://declanthompson.github.io/publication/thompson-execution-2023/ 2023-01-24T00:00:00+00:00 weekly https://declanthompson.github.io/publication_types/ 2023-01-24T00:00:00+00:00 weekly https://declanthompson.github.io/publication/ 2023-01-24T00:00:00+00:00 weekly https://declanthompson.github.io/publication-type/1/ 2021-10-06T00:00:00+00:00 weekly https://declanthompson.github.io/publication/thompson-computable-2021/ 2021-10-06T00:00:00+00:00 weekly https://declanthompson.github.io/talk/logicseminar_2021-05-21/ 2021-05-21T11:00:00-07:00 weekly https://declanthompson.github.io/talk/4yt_2020-05-22/ 2020-05-22T13:30:00-07:00 weekly https://declanthompson.github.io/publication/thompson-local-2020/ 2020-03-24T00:00:00+00:00 weekly https://declanthompson.github.io/talk/ihpst_20-02-27/ 2020-02-27T16:00:00+01:00 weekly https://declanthompson.github.io/talk/lira_2020-02-13/ 2020-02-13T16:30:00+01:00 weekly https://declanthompson.github.io/tag/algorithmic-analysis/ 2020-01-06T00:00:00+00:00 weekly https://declanthompson.github.io/tag/asm/ 2020-01-06T00:00:00+00:00 weekly https://declanthompson.github.io/project/algorithms/ 2020-01-06T00:00:00+00:00 weekly https://declanthompson.github.io/tag/philosophy-of-computer-science/ 2020-01-06T00:00:00+00:00 weekly https://declanthompson.github.io/project/ 2020-01-06T00:00:00+00:00 weekly https://declanthompson.github.io/tag/recursors/ 2020-01-06T00:00:00+00:00 weekly https://declanthompson.github.io/tag/turing-machines/ 2020-01-06T00:00:00+00:00 weekly https://declanthompson.github.io/talk/tsu_19-10-06/ 2019-10-16T16:30:00+08:00 weekly https://declanthompson.github.io/project/bng/ 2019-10-10T00:00:00+00:00 weekly https://declanthompson.github.io/talk/gsw_19-05-02/ 2019-05-02T18:30:00-07:00 weekly https://declanthompson.github.io/tag/lfc/ 2019-05-02T18:30:00-07:00 weekly https://declanthompson.github.io/slides/ 2019-02-05T00:00:00+00:00 weekly https://declanthompson.github.io/slides/example/ 2019-02-05T00:00:00+00:00 weekly https://declanthompson.github.io/publication/thompson-teaching-2017/ 2017-01-01T00:00:00+00:00 weekly https://declanthompson.github.io/tag/natural-deduction/ 2016-04-27T00:00:00+00:00 weekly https://declanthompson.github.io/project/ndp/ 2016-04-27T00:00:00+00:00 weekly https://declanthompson.github.io/tag/proof-assistant/ 2016-04-27T00:00:00+00:00 weekly https://declanthompson.github.io/tag/computability-theory/ 2016-01-01T00:00:00+00:00 weekly https://declanthompson.github.io/tag/computable-function/ 2016-01-01T00:00:00+00:00 weekly https://declanthompson.github.io/tag/formal-proof/ 2016-01-01T00:00:00+00:00 weekly https://declanthompson.github.io/publication/calude-incompleteness-2016/ 2016-01-01T00:00:00+00:00 weekly https://declanthompson.github.io/tag/recursive-function/ 2016-01-01T00:00:00+00:00 weekly https://declanthompson.github.io/tag/turing-machine/ 2016-01-01T00:00:00+00:00 weekly https://declanthompson.github.io/publication-type/6/ 2015-01-01T00:00:00+00:00 weekly https://declanthompson.github.io/publication-type/7/ 2015-01-01T00:00:00+00:00 weekly https://declanthompson.github.io/publication/seligman-boolean-2015/ 2015-01-01T00:00:00+00:00 weekly https://declanthompson.github.io/tag/boolean-variable/ 2015-01-01T00:00:00+00:00 weekly https://declanthompson.github.io/publication/thompson-formalisation-2015/ 2015-01-01T00:00:00+00:00 weekly https://declanthompson.github.io/tag/global-state/ 2015-01-01T00:00:00+00:00 weekly https://declanthompson.github.io/tag/linear-temporal-logic/ 2015-01-01T00:00:00+00:00 weekly https://declanthompson.github.io/tag/mathematics/ 2015-01-01T00:00:00+00:00 weekly https://declanthompson.github.io/tag/nash-equilibrium/ 2015-01-01T00:00:00+00:00 weekly https://declanthompson.github.io/publication/thompson-running-2015/ 2015-01-01T00:00:00+00:00 weekly https://declanthompson.github.io/tag/transition-function/ 2015-01-01T00:00:00+00:00 weekly https://declanthompson.github.io/admin/ weekly https://declanthompson.github.io/background/ weekly https://declanthompson.github.io/blogs/ weekly https://declanthompson.github.io/categories/ weekly https://declanthompson.github.io/projects/ weekly https://declanthompson.github.io/confpub/ weekly