Ciarán Dunne

According to our database, Ciarán Dunne authored at least 3 papers between 2020 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

Isabelle/HOL/GST: A Formal Proof Environment for Generalized Set Theories.

Ciarán Dunne, J. B. Wells

Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022

2021

Generating Custom Set Theories with Non-set Structured Objects.

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

Proceedings of the Intelligent Computer Mathematics - 14th International Conference, 2021

2020

Adding an Abstraction Barrier to ZF Set Theory.

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

Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020