A Complete Bounded Theory with Unbounded Types

This talk was given at:

1. 2026 ASL North American Annual Meeting, University of Pennsylvania, on July 22, 2026.

2. GSCL XXVI, University of Illinois Chicago, on April 25, 2026.

3. Online Logic Seminar, on March 26, 2026.

Slides

Download.