Tony Finch | Lambda the Ultimate

Tony Finch

view
track

Personal information

Country:
England

Gender:
male

URL of homepage:
http://dotat.at

History

Member for:
9 years 33 weeks

Browse archives

Active forum topics

New forum topics

Recent comments

However, the logic may be
1 hour 17 min ago
I argue.
2 hours 33 min ago
Too early
4 hours 11 min ago
Negation is the problem.
6 hours 21 min ago
Well, exactly!
6 hours 56 min ago
Only 3-valued.
7 hours 4 min ago
Ownership and Referencing
8 hours 6 min ago
Proof and Disproof
8 hours 30 min ago
The usual type soudness question
9 hours 1 min ago
If you can derive a definite
11 hours 30 min ago