How Set and Type Theories Classify Functions

4 months ago
Anonymous $qqiKI3BBkr