How Set and Type Theories Classify Functions

25 days ago
Anonymous $qqiKI3BBkr