Natural numbers from integers
Paper i proceeding, 2024
homotopy type theory
inductive types
descent
integers
natural numbers
Författare
Christian Sattler
Chalmers, Data- och informationsteknik, Computing Science
David Wärn
Chalmers, Data- och informationsteknik, Computing Science
Proceedings - Symposium on Logic in Computer Science
10436871 (ISSN)
679798400706608 (ISBN)
Tallinn, Estonia,
Ämneskategorier
Algebra och logik
Energiteknik
DOI
10.1145/3661814.3662129