A parametricity-based formalization of semi-simplicial and semi-cubical sets
(opens in new window)
Author(s):
Hugo Herbelin, Ramkumar Ramachandra
Published in:
Mathematical Structures in Computer Science, Issue 35, 2025, ISSN 0960-1295
Publisher:
Cambridge University Press (CUP)
DOI:
10.1017/S096012952500009X
"The categorical contours of the Chomsky-Sch\""utzenberger representation theorem"
(opens in new window)
Author(s):
Paul-André Melliès, Noam Zeilberger
Published in:
Logical Methods in Computer Science, Issue Volume 21, Issue 2, 2025, ISSN 1860-5974
Publisher:
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
(opens in new window)
Author(s):
Zena M. Ariola, Paul Downen, Hugo Herbelin
Published in:
Electronic Proceedings in Theoretical Computer Science, Issue 441, 2026, ISSN 2075-2180
Publisher:
Open Publishing Association
DOI:
10.4204/EPTCS.441.1
Classical Notions of Computation and the Hasegawa-Thielecke Theorem
(opens in new window)
Author(s):
Éléonore Mangel, Paul-André Melliès, Guillaume Munch-Maccagnoni
Published in:
Proceedings of the ACM on Programming Languages, Issue 10, 2026, ISSN 2475-1421
Publisher:
Association for Computing Machinery (ACM)
DOI:
10.1145/3776715
AdapTT: Functoriality for Dependent Type Casts
(opens in new window)
Author(s):
Arthur Adjedj, Meven Lennon-Bertrand, Thibaut Benjamin, Kenji Maillard
Published in:
Proceedings of the ACM on Programming Languages, Issue 10, 2026, ISSN 2475-1421
Publisher:
Association for Computing Machinery (ACM)
DOI:
10.1145/3776664
