Dana S. Scott

Identifiers

• name variant Dana S. Scott 0.50 · backfill

Papers (1)

1. Axiomatizing Category Theory in Free Logic cs.LO · 2016 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Christoph Benzm\"uller 1 shared papers