Dana Scott

Notes on Gödel’s and Scott’s Variants of the Ontological Argument (Isabelle/HOL dataset)

by Christoph Benzmüller 📧 and Dana Scott 🌐

Axiom Systems for Category Theory in Free Logic

by Christoph Benzmüller 🌐 and Dana Scott 🌐