Maxime Lucas

Available identifiers

zbMath Open lucas.maximeMaRDI QIDQ502627

List of research outcomes

Publication	Date of Publication	Type
A Cartesian bicategory of polynomial functors in homotopy type theory	2024-12-17	Paper
Stabilization of cyclic processes by slowly varying forcing	2024-06-21	Paper
A unified framework for Simplicial Kuramoto models	2023-05-29	Paper
Multiorder Laplacian for Kuramoto Dynamics with Higher-Order Interactions	2022-12-06	Paper
Networks beyond pairwise interactions: structure and dynamics	2021-09-24	Paper
Verifying the Steane code with Quantomatic	2021-06-29	Paper
The folk model category structure on strict \(\omega\)-categories is monoidal	2020-06-29	Paper
A cubical Squier's theorem	2020-03-11	Paper
Abstract rewriting internalized	2020-02-14	Paper
Cubical \((\omega, p)\)-categories	2019-03-19	Paper
A coherence theorem for pseudonatural transformations	2017-01-05	Paper

Research outcomes over time

This page was built for person: Maxime Lucas