activity
20092024
most citedPrincipal Typings in a Restricted Intersection Type System for Beta Normal Forms with De Bruijn Indices

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

collaborators
Showing 2020Show all

1 paper · 1 filter

cs.LO2020

Adding an Abstraction Barrier to ZF Set Theory

Ciarán Dunne, J. B. Wells, Fairouz Kamareddine

Much mathematical writing exists that is, explicitly or implicitly, based on set theory, often Zermelo-Fraenkel set theory (ZF) or one of its variants. In ZF, the domain of discour…