https://thomaslaure.github.io/portfolio/portfolio-1/ https://thomaslaure.github.io/portfolio/portfolio-2/ https://thomaslaure.github.io/posts/2012/08/blog-post-1/ 2012-08-14T00:00:00+00:00 https://thomaslaure.github.io/posts/2013/08/blog-post-2/ 2013-08-14T00:00:00+00:00 https://thomaslaure.github.io/posts/2014/08/blog-post-3/ 2014-08-14T00:00:00+00:00 https://thomaslaure.github.io/posts/2012/08/blog-post-4/ 2015-08-14T00:00:00+00:00 https://thomaslaure.github.io/posts/2012/08/blog-post-4/ 2199-01-01T00:00:00+00:00 https://thomaslaure.github.io/publication/2023-07-06-variation-logic 2023-07-06T00:00:00+00:00 https://thomaslaure.github.io/publication/2026-04-08-variation-logic 2026-04-08T00:00:00+00:00 https://thomaslaure.github.io/publication/2026-04-09-expos-games 2026-04-09T00:00:00+00:00 https://thomaslaure.github.io/talks/2025-01-25-game-comonads 2025-01-23T00:00:00+00:00 https://thomaslaure.github.io/talks/2025-12-17-graded-monads 2025-12-17T00:00:00+00:00 https://thomaslaure.github.io/teaching/2025-fdlp 2025-09-15T00:00:00+00:00 https://thomaslaure.github.io/teaching/2026-compil 2026-01-27T00:00:00+00:00 https://thomaslaure.github.io/teaching/2026-pf1 2026-01-28T00:00:00+00:00 https://thomaslaure.github.io/teaching/2026-compil 2026-02-01T00:00:00+00:00 https://thomaslaure.github.io/ https://thomaslaure.github.io/cv/ https://thomaslaure.github.io/montagnedeglace/ https://thomaslaure.github.io/publications/ https://thomaslaure.github.io/sitemap/ https://thomaslaure.github.io/talks/ https://thomaslaure.github.io/teaching/ https://thomaslaure.github.io/terms/ https://thomaslaure.github.io/files/2025-12-17-graded-monads.pdf 2026-04-14T15:13:54+00:00 https://thomaslaure.github.io/files/CV.pdf 2026-04-14T15:13:54+00:00 https://thomaslaure.github.io/talkmap/map.html 2026-04-14T15:13:54+00:00