9 citations · 10 across the 4 of their papers we have counts for
1 paper · 2 filters
Arthur Azevedo de Amorim
Andrew Pitts' framework of relational properties of domains is a powerful method for defining predicates or relations on domains, with applications ranging from reasoning principle…