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