4 citations · 4 across the 2 of their papers we have counts for
1 paper · 1 filter
Aaron Stump, Benjamin Delaware, Christopher Jenkins
This paper introduces Relational Type Theory (RelTT), a new approach to type theory with extensionality principles, based on a relational semantics for types. The type constructs o…