| Original language | English |
|---|---|
| Title of host publication | LICS ‘14 Proceedings 28th Annual ACM/IEEE Symposium on Logic in Computer Science |
| Publication status | Published - 2014 |
Eilenberg-MacLane spaces in homotopy type theory
Eric Finster, Dan Licata
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution