A Complete Bounded Theory with Unbounded Types
This talk was given at:
-
GSCL XXVI, University of Illinois Chicago, on April 25, 2026.
-
Online Logic Seminar, on March 26, 2026.
This talk was given at:
GSCL XXVI, University of Illinois Chicago, on April 25, 2026.
Online Logic Seminar, on March 26, 2026.