everything.study
CAS 760

Simple Type Theory

Graduate

Winter 2026 · C01

Readings

  • Etext Simple Type Theory - 6 Month Access
    Farmer · Required
    ISBN 9783031853524
Sources