6 citations · 16 across the 11 of their papers we have counts for
1 paper · 2 filters
Tom de Jong
We develop the Scott model of the programming language PCF in univalent type theory. Moreover, we work constructively and predicatively. To account for the non-termination in PCF,…