Natural numbers from integers
Paper in proceeding, 2024
homotopy type theory
inductive types
descent
integers
natural numbers
Author
Christian Sattler
Chalmers, Computer Science and Engineering (Chalmers), Computing Science
David Wärn
Chalmers, Computer Science and Engineering (Chalmers), Computing Science
Proceedings - Symposium on Logic in Computer Science
10436871 (ISSN)
679798400706608 (ISBN)
Tallinn, Estonia,
Subject Categories
Algebra and Logic
Energy Engineering
DOI
10.1145/3661814.3662129