D
ana
S
cott
Homepages 🌐
http://www.cs.cmu.edu/~scott/
Entries
2018
Axiom Systems for Category Theory in Free Logic
by
Christoph Benzmüller
🌐
and
Dana Scott
🌐
May 23