nLab Thomas Lamiaux

Redirected from "Bousfield-Friedlander model structures".
Note: Bousfield-Friedlander model structure and model structure on topological sequential spectra both redirect for "Bousfield-Friedlander model structures".

Selected writings

Selected writings

Thomas Lamiaux, Axel Ljungström, Anders Mörtberg, Computing Cohomology Rings in Cubical Agda, CPP 2023: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs (2023) [arxiv:2212.04182, doi:10.1145/3573105.3575677]
Thomas Lamiaux: Computing Cohomology Rings in Cubical Agda, talk at Running HoTT 2024, CQTS@NYUAD (April 2024) [video:kt]

category: people

Last revised on August 18, 2025 at 19:05:40. See the history of this page for a list of all contributions to it.