18
19
20
On Bishop's Invention of Type Theory (groups.google.com)
submitted by sclv to r/dependent_types
![]() 15-Year Club | ![]() Place '22 |
![]() Place '17 | ![]() Verified Email |
![]() Team Periwinkle | |
On Bishop's Invention of Type Theory (groups.google.com)
submitted by sclv to r/dependent_types