Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

8 résultats
Page :
triés par
Image document

Heterogeneous Substitution Systems Revisited

 Benedikt Ahrens , Ralph Matthes
Tarmo Uustalu. 21st International Conference on Types for Proofs and Programs (TYPES 2015), 69, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp.2:1-2:23, 2018, Leibniz International Proceedings in Informatics (LIPIcs), 978-3-95977-030-9. ⟨10.4230/LIPIcs.TYPES.2015.2⟩
Chapitre d'ouvrage hal-02360681v1
Image document

Displayed Categories

 Benedikt Ahrens , Peter Lefanu Lumsdaine
2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017), Sep 2017, Oxford, United Kingdom. ⟨10.4230/LIPIcs.FSCD.2017.5⟩
Communication dans un congrès hal-01584770v1
Image document

Categorical Structures for Type Theory in Univalent Foundations

 Benedikt Ahrens , Peter Lefanu Lumsdaine , Vladimir Voevodsky
26th EACSL Annual Conference on Computer Science Logic (CSL 2017), Aug 2017, Stockholm, Sweden. pp.8:1 - 8:16, ⟨10.4230/LIPIcs.CSL.2017.8⟩
Communication dans un congrès hal-01579271v1
Image document

From signatures to monads in UniMath

 Benedikt Ahrens , Ralph Matthes , Anders Mörtberg
Journal of Automated Reasoning, 2018, pp.1-34. ⟨10.1007/s10817-018-9474-4⟩
Article dans une revue hal-01410487v2
Image document

Reduction Monads and Their Signatures

 Benedikt Ahrens , André Hirschowitz , Ambroise Lafont , Marco Maggesi
Proceedings of the ACM on Programming Languages, 2020, pp.1-29. ⟨10.1145/3371099⟩
Article dans une revue hal-02380682v1

High-level signatures and initial semantics

 Benedikt Ahrens , André Hirschowitz , Ambroise Lafont , Marco Maggesi
27th EACSL Annual Conference on Computer Science Logic (CSL 2018), Sep 2018, Birmingham, United Kingdom. pp.1-20, ⟨10.4230/LIPIcs.CSL.2018.4⟩
Communication dans un congrès hal-01930058v1

Modular specification of monads through higher-order presentations

 Benedikt Ahrens , André Hirschowitz , Ambroise Lafont , Marco Maggesi
FSCD 2019 - 4th International Conference on Formal Structures for Computation and Deduction, Jun 2019, Dortmund, Germany. pp.1-16, ⟨10.4230/LIPIcs.FSCD.2019.6⟩
Communication dans un congrès hal-02307998v1

Homotopy Type Theory: Univalent Foundations of Mathematics

 Peter Aczel , Benedikt Ahrens , Thorsten Altenkirch , Steve Awodey , Bruno Barras , et al.
The Univalent Foundations Program Institute for Advanced Study, pp.1--587, 2013
Ouvrages hal-00935057v1
Page :