dalev | Lambda the Ultimate

dalev

view
track

Personal information

Country:
USA

Gender:
male

Interests:

theorem proving, monads, logic programming, functional programming, semantics, algebra, category theory

History

Member for:
20 years 26 weeks