3 citations · 7 across the 6 of their papers we have counts for
4 papers · 1 filter
Isabelle/HOL/GST: A Formal Proof Environment for Generalized Set Theories
Ciarán Dunne, J. B. Wells
A generalized set theory (GST) is like a standard set theory but also can have non-set structured objects that can contain other structured objects including sets. This paper prese…
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…
What Does This Notation Mean Anyway?
David Feller, Joe B. Wells, Fairouz Kamareddine +1
Following the introduction of BNF notation by Backus for the Algol 60 report and subsequent notational variants, a metalanguage involving formal "grammars" has developed for discus…
Proceedings Fifth Workshop on Intersection Types and Related Systems
Elaine Pimentel, Betti Venneri, Joe Wells
This volume contains the proceedings of the Fifth International Workshop on Intersection Types and Related Systems (ITRS 2010). The workshop was held in Edinburgh, Scotland, on Jul…