Dave Herman | Lambda the Ultimate

Dave Herman

view
track

Personal information

Country:
USA

Gender:
male

URL of homepage:
http://calculist.blogspot.com

Interests:

process calculi, lambda calculus, control flow analysis, staged programming, metaprogramming/macros

History

Member for:
10 years 32 weeks

Browse archives

Active forum topics

New forum topics

Recent comments

I argue.
35 min 30 sec ago
Too early
2 hours 12 min ago
Negation is the problem.
4 hours 23 min ago
Well, exactly!
4 hours 58 min ago
Only 3-valued.
5 hours 5 min ago
Ownership and Referencing
6 hours 8 min ago
Proof and Disproof
6 hours 32 min ago
The usual type soudness question
7 hours 3 min ago
If you can derive a definite
9 hours 31 min ago
fuzzy truth versus fuzzy relevance
10 hours 25 min ago