Loading...
Latest full text publications
-
Ralph Matthes, Kobe Wullaert, Benedikt Ahrens. Substitution for Non-Wellfounded Syntax with Binders Through Monoidal Categories. 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024), Jul 2024, Tallinn, Estonia. pp.25:1-25:22, ⟨10.4230/LIPIcs.FSCD.2024.25⟩. ⟨hal-04642448⟩
-
Benedikt Ahrens, Ralph Matthes, Niels van der Weide, Kobe Wullaert. Displayed Monoidal Categories for the Semantics of Linear Logic. CPP 2024: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2024, London, United Kingdom. pp.260-273, ⟨10.1145/3636501.3636956⟩. ⟨hal-04375376⟩
-
Mika Pons, Jean-Michel Bruel, Jean-Baptiste Raclet, Franck Silvestre. Traceability by design: design of an interactive system to improve the automatic generation of Git traces during a learning activity. 18th European Conference on Technology Enhanced Learning (EC-TEL 2023), Sep 2023, Aveiro, Portugal. pp.611-617, ⟨10.1007/978-3-031-42682-7_50⟩. ⟨hal-04347305⟩
-
Denis Ollivier, Franck Silvestre, Jean-Baptiste Raclet, Emmanuel Lescure, Julien Broisin. Designing a Revision System: An Exploratory Qualitative Study to Identify the Needs of French Teachers and Students. 18th European Conference on Technology-Enhanced Learning (EC-TEL 2023), European Association of Technology-Enhanced Learning, Sep 2023, Aveiro, Portugal. pp.294-307, ⟨10.1007/978-3-031-42682-7_20⟩. ⟨hal-04211163⟩
-
Ana de Almeida Borges, Annalí Casanueva Artís, Jean-Rémy Falleri, Emilio Jesús Gallego Arias, Érik Martin-Dorel, et al.. Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users. 14th International Conference on Interactive Theorem Proving (ITP 2023), Jul 2023, Białystok, Poland. pp.1-18, ⟨10.4230/LIPIcs.ITP.2023.12⟩. ⟨hal-04098856v2⟩
Documents
346
Distribution per document type