User winitzki - MathOverflow

winitzki

Member for 11 years
Last seen more than a month ago

GitHub
sites.google.com/site/…
San Francisco, CA, United States

Network profile

1 Question

Score Activity Newest Views

16 votes

2 answers

3k views

Why is there no product type in simply typed lambda-calculus?

asked Dec 9, 2013 at 3:12