Samuel Mimram
- Laboratoire d'informatique de l'École polytechnique [Palaiseau] (LIX)
Publications
Publications
|
|
Classifying Covering Types in Homotopy Type Theory34th EACSL Annual Conference on Computer Science Logic (CSL 2026), Feb 2026, Paris, France. ⟨10.4230/LIPIcs.CSL.2026.21⟩ |
|
|
∞-Categorical Models of Linear Logic10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025), Jul 2025, Birmingham, United Kingdom. pp.23:1-23:20, ⟨10.4230/LIPIcs.FSCD.2025.23⟩ |
|
|
Coherent Tietze Transformations of 1-Polygraphs in Homotopy Type Theory10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025), Jul 2025, Birmingham, United Kingdom. pp.30:1-30:17, ⟨10.4230/LIPIcs.FSCD.2025.30⟩ |
|
|
Polynomials in homotopy type theory as a Kleisli categoryMFPS XL, Jul 2024, Oxford, United Kingdom. ⟨10.46298/entics.14786⟩ |
|
|
Delooping Generated Groups in Homotopy Type Theory9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024), Jul 2024, Tallinn, Estonia. pp.6:1-6:20, ⟨10.4230/LIPIcs.FSCD.2024.6⟩ |
|
|
Delooping cyclic groups with lens spaces in homotopy type theoryLICS '24: 39th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2024, Tallinn, Estonia. pp.1-15, ⟨10.1145/3661814.3662077⟩ |
|
|
Categorical Coherence from Term Rewriting Systems8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023), Jul 2023, Rome, Italy. pp.16, ⟨10.4230/LIPIcs.FSCD.2023.16⟩ |
|
|
Division by Two, in Homotopy Type Theory7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022), Aug 2022, Haifa, Israel. pp.10, ⟨10.4230/LIPIcs.FSCD.2022.11⟩ |
|
|
A cartesian bicategory of polynomial functors in homotopy type theory37th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2021), Aug 2021, Salzburg, Austria |
|
|
Syntactic Regions for Concurrent ProgramsProceedings 37th Conference on Mathematical Foundations of Programming Semantics, MFPS 2021, Aug 2021, Salzburg, Austria. pp.184-199, ⟨10.4204/EPTCS.351.12⟩ |
|
|
Globular weak ω-categories as models of a type theoryWorkshop on Homotopy Type Theory / Univalent Foundations, Jul 2021, The Internet, Argentina |
|
|
Describing free ω-categories2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2019, Vancouver, Canada |
|
|
A Sequent Calculus for OpetopesLICS 2019 - Logic in computer science 2019, Jun 2019, Vancouver, Canada |
|
|
A Sound Foundation for the Topological Approach to Task Solvability30th International Conference on Concurrency Theory (CONCUR 2019), Aug 2019, Amsterdam, Netherlands. ⟨10.4230/LIPIcs.CONCUR.2019.34⟩ |
|
|
Brief Announcement: On the Impossibility of Detecting ConcurrencyDISC, Oct 2018, New Orleans, United States. ⟨10.4230/LIPIcs.DISC.2018.50⟩ |
|
|
Coherence of Gray Categories via Rewriting3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018), Jul 2018, Oxford, United Kingdom. ⟨10.4230/LIPIcs.FSCD.2018.15⟩ |
|
|
On the Impossibility of Detecting Concurrency32nd International Symposium on Distributed Computing (DISC 2018), 2018, New Orleans, United States. ⟨10.4230/LIPIcs.DISC.2018.50⟩ |
Concurrent specifications beyond linearizability22nd International Conference on Principles of Distributed Systems (OPODIS 2018), 2018, Hong Kong, China. ⟨10.4230/LIPIcs.OPODIS.2016.23⟩ |
|
|
|
A type-theoretical definition of weak ω-categoriesLICS 2017 - 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2017, Reykjavik, Iceland. pp.1-12, ⟨10.1109/LICS.2017.8005124⟩ |
|
|
Homological computations for term rewriting systems1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016), Jun 2016, Porto, Portugal. pp.27:1-27:17 |
|
|
From Geometric Semantics to Asynchronous ComputabilityDISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan. ⟨10.1007/978-3-662-48653-5_29⟩ |
|
|
Set-based Simulation for Design and Verification of Simulink ModelsEmbedded real-time software and systems (ERTS² 2014), Feb 2014, TOULOUSE, France |
|
|
Set-based Simulation for Design and Verification of Simulink ModelsEmbedded Real Time Software and Systems (ERTS2), Feb 2014, Toulouse, France |
|
|
A Homotopical Completion Procedure with Applications to Coherence of MonoidsRTA - 24th International Conference on Rewriting Techniques and Applications - 2013, Jun 2013, Eindhoven, Netherlands. pp.223-238, ⟨10.4230/LIPIcs.RTA.2013.223⟩ |
|
|
A Categorical Theory of PatchesMFPS - Mathematical Foundations of Programming Semantics, Jun 2013, New Orleans, United States. pp.283-307, ⟨10.1016/j.entcs.2013.09.018⟩ |
|
|
Trace Spaces: an Efficient New Technique for State-Space ReductionESOP - 21st European Symposium on Programming, Mar 2012, Tallinn, Estonia. pp.274-294, ⟨10.1007/978-3-642-28869-2_14⟩ |
HySon: Set-based simulation of hybrid systems23rd IEEE International Symposium on Rapid System Prototyping, Oct 2012, Tempere, Finland. pp.79-85, ⟨10.1109/RSP.2012.6380694⟩ |
|
Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control SoftwareComputer Safety, Reliability, and Security - 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings, 2011, Unknown, Unknown Region. pp.85--98, ⟨10.1007/978-3-642-24270-0_7⟩ |
|
|
|
A Non-Standard Semantics for Kahn Networks in Continuous TimeComputer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL, Sep 2011, Bergen, Norway. pp.35--50, ⟨10.4230/LIPIcs.CSL.2011.35⟩ |
|
|
Liquidsoap: a High-Level Programming Language for Multimedia StreamingSOFSEM 2011: Theory and Practice of Computer Science, Jan 2011, Nový Smokovec, Slovakia. pp.99-110, ⟨10.1007/978-3-642-18381-2_8⟩ |
|
|
Computing Critical Pairs in 2-Dimensional Rewriting SystemsRewriting Theory and Applications, 2010, Edinburgh, United Kingdom. pp.227-242, ⟨10.4230/LIPIcs.RTA.2010.227⟩ |
|
|
Focusing in Asynchronous Games6th Conference on Computability in Europe, Jun 2010, Ponta Delgada, Portugal. pp.331-341 |
|
|
The Structure of First-Order CausalityLogic in Computer Science, Aug 2009, Los Angeles, United States. p. 212-221, ⟨10.1109/LICS.2009.19⟩ |
|
|
De la webradio lambda à la λ-webradioJournées Francophones des Langages Applicatifs, Jan 2008, Étretat, France. pp.47-61 |
|
|
De la webradio lambda à la lambda-webradioJFLA (Journées Francophones des Langages Applicatifs), INRIA, Jan 2008, Etretat, France. pp.47-62 |
|
|
Polygraphs: From Rewriting to Higher CategoriesCambridge University Press, 495, pp.xx+648, 2025, London Mathematical Society Lecture Note Series, 9781009498982 |
The Liquidsoap book2021, 979-8748717717 |
|
PROGRAM = PROOF2020, 979-8615591839 |
|
Directed Algebraic Topology and ConcurrencySpringer International Publishing, 2016, 978-3-319-15397-1. ⟨10.1007/978-3-319-15398-8⟩ |
|
|
Free precategories as presheaf categories2022 |
|
|
Syntactical approaches to opetopes2019 |
|
|
Presentation of a Game Semantics for First-Order Propositional Logic2008 |
|
|
Asynchronous games: innocence without alternation2007 |
|
|
Sémantique des jeux asynchrones et réécriture 2-dimensionnelleInformatique [cs]. Université Paris-Diderot - Paris VII, 2008. Français. ⟨NNT : ⟩ |
|
|
Geometric Models of Concurrent ComputationsLogic in Computer Science [cs.LO]. Université Paris 7, 2016 |