9 citations · 15 across the 5 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.GT2022
Higher-order Games with Dependent Types
Martín Escardó, Paulo Oliva
In previous work on higher-order games, we accounted for finite games of unbounded length by working with continuous outcome functions, which carry implicit game trees. In this wor…
cs.LO2022★ 9 cited
Type Theory with Explicit Universe Polymorphism (revised and extended version)
Marc Bezem, Thierry Coquand, Peter Dybjer +1
The aim of this paper is to refine and extend proposals by Sozeau and Tabareau and by Voevodsky for universe polymorphism in type theory. In those systems judgments can depend on e…