dalev

Personal information


USA

male

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

History


13 years 7 weeks