dalev

Personal information


USA

male

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

History


12 years 11 weeks