5/10/2026
•
EN
Family Orienting Python Frozenset Dependent Type Theory
Explores dependent type theory semantics using Python frozensets, emphasizing the concept of 'family' as set-valued functions and judgements as mappings.