Geoffrey Irving | Lambda the Ultimate

Geoffrey Irving

view
track

History

Member for:
14 years 49 weeks

Browse archives

Active forum topics

New forum topics

Recent comments

What's a type, take #2
3 days 22 hours ago
Why category theory
1 week 9 hours ago
Give it a few days...
1 week 22 hours ago
<Removed>
1 week 1 day ago
Category theory to the rescue?
1 week 1 day ago
natural language is not enough
3 weeks 2 days ago
Interesting
6 weeks 5 days ago
Also see the slide deck
6 weeks 6 days ago
accidental noise removed
8 weeks 4 days ago
natural language or fail
8 weeks 4 days ago