Summary
This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.
Authors: Felix Cherubini, Thierry Coquand, Matthias Hutzler
Journal title: Mathematical Structures in Computer Science
Journal publisher: Cambridge University Press (CUP)
Published year: 2024
DOI identifier: 10.1017/S0960129524000239
ISSN: 0960-1295
Search
Associated projects
Organisations
- Not specified