65 citations
- University of California SystemUS8 papers
- University of ChileCL4 papers
- University of StrathclydeGB4 papers
- California University of PennsylvaniaUS3 papers
- Health Information ManagementBE3 papers
- University of PennsylvaniaUS3 papers
- Department of Physics, Mathematics and InformaticsBY2 papers
- Osaka Prefecture UniversityJP2 papers
- Reykjavík UniversityIS2 papers
- Universidad de Santiago de ChileCL2 papers
- University of HaifaIL2 papers
- University of PittsburghUS2 papers
Showing 2021 · cs.LOShow all
2 papers · 2 filters
cs.LO2021★ 2 cited
Connecting Constructive Notions of Ordinals in Homotopy Type Theory
Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu
In classical set theory, there are many equivalent ways to introduce ordinals. In a constructive setting, however, the different notions split apart, with different advantages and…
cs.LO2021
Compositional Game Theory, Compositionally
Robert Atkey, Bruno Gavranović, Neil Ghani +3
We present a new compositional approach to compositional game theory (CGT) based upon Arrows, a concept originally from functional programming, closely related to Tambara modules,…