Thomas Lamiaux

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 3

Top Topics

Strengths And Weaknesses

Top Venues

Publications

Thomas Lamiaux, Benedikt Ahrens
An Introduction to Different Approaches to Initial Semantics. CoRR (2024)
Thomas Lamiaux, Axel Ljungström, Anders Mörtberg
Computing Cohomology Rings in Cubical Agda. CPP (2023)
Thomas Lamiaux, Axel Ljungström, Anders Mörtberg
Computing Cohomology Rings in Cubical Agda. CoRR (2022)