Ohad Kammar | Lambda the Ultimate

Ohad Kammar

view
track

Personal information

Country:
England

Gender:
male

URL of homepage:
http://www.cl.cam.ac.uk/~ok259

History

Member for:
9 years 23 weeks

Browse archives

Active forum topics

New forum topics

Recent comments

Frege was the originator of ⊢ notation
5 hours 47 min ago
I'd expect Frege to be
6 hours 58 sec ago
Unfortunately, Kleene is somewhat obsolete for Computer Science
6 hours 27 min ago
Back to content
8 hours 5 min ago
criterion for when a subthread has outlived its usefulness
9 hours 34 min ago
Running with scissors.
10 hours 22 min ago
Straightforward
10 hours 23 min ago
My feeling is that there
10 hours 29 min ago
It's preferable to write straightforwardly on LtU
12 hours 31 min ago
I conjecture that you don't
15 hours 6 min ago