activity
20212026
most citedKripke-Joyal forcing for type theory and uniform fibrations

2 citations · 2 across the 4 of their papers we have counts for

collaborators
Showing 2025Show all

1 paper · 1 filter

math.CT2025

Algebraic Type Theory, Part 1: Martin-Löf algebras

Steve Awodey

A new algebraic treatment of dependent type theory is proposed using ideas derived from topos theory and algebraic set theory.