18 citations · 18 across the 4 of their papers we have counts for
1 paper · 1 filter
Sam Speight, Niels van der Weide
We construct a realizability model of linear dependent type theory from a linear combinatory algebra. Our model motivates a number of additions to the type theory. In particular, w…