Communication dans un congrès, GALaC, Informatique
Structuring Theories with Implicit Morphisms
Florian Rabe, Dennis Müller. Structuring Theories with Implicit Morphisms. 24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.154-173, ⟨10.1007/978-3-030-23220-7_9⟩. ⟨hal-02364570⟩
