11 citations · 15 across the 3 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
math.CT2020
A Note on Generalized Algebraic Theories and Categories with Families
Marc Bezem, Thierry Coquand, Peter Dybjer +1
We give a new syntax independent definition of the notion of a generalized algebraic theory as an initial object in a category of categories with families (cwfs) with extra structu…
math.LO2020
Domain Theory in Constructive and Predicative Univalent Foundations
Tom de Jong, Martín Hötzel Escardó
We develop domain theory in constructive univalent foundations without Voevodsky's resizing axioms. In previous work in this direction, we constructed the Scott model of PCF and pr…