A parametricity-based formalization of semi-simplicial and semi-cubical sets
(si apre in una nuova finestra)
Autori:
Hugo Herbelin, Ramkumar Ramachandra
Pubblicato in:
Mathematical Structures in Computer Science, Numero 35, 2025, ISSN 0960-1295
Editore:
Cambridge University Press (CUP)
DOI:
10.1017/S096012952500009X
"The categorical contours of the Chomsky-Sch\""utzenberger representation theorem"
(si apre in una nuova finestra)
Autori:
Paul-André Melliès, Noam Zeilberger
Pubblicato in:
Logical Methods in Computer Science, Numero Volume 21, Numero 2, 2025, ISSN 1860-5974
Editore:
Centre pour la Communication Scientifique Directe (CCSD)
DOI:
10.46298/LMCS-21(2:12)2025
Proving and Computing: The Infinite Pigeonhole Principle and Countable Choice
(si apre in una nuova finestra)
Autori:
Zena M. Ariola, Paul Downen, Hugo Herbelin
Pubblicato in:
Electronic Proceedings in Theoretical Computer Science, Numero 441, 2026, ISSN 2075-2180
Editore:
Open Publishing Association
DOI:
10.4204/EPTCS.441.1
Classical Notions of Computation and the Hasegawa-Thielecke Theorem
(si apre in una nuova finestra)
Autori:
Éléonore Mangel, Paul-André Melliès, Guillaume Munch-Maccagnoni
Pubblicato in:
Proceedings of the ACM on Programming Languages, Numero 10, 2026, ISSN 2475-1421
Editore:
Association for Computing Machinery (ACM)
DOI:
10.1145/3776715
AdapTT: Functoriality for Dependent Type Casts
(si apre in una nuova finestra)
Autori:
Arthur Adjedj, Meven Lennon-Bertrand, Thibaut Benjamin, Kenji Maillard
Pubblicato in:
Proceedings of the ACM on Programming Languages, Numero 10, 2026, ISSN 2475-1421
Editore:
Association for Computing Machinery (ACM)
DOI:
10.1145/3776664
