Home » user account

dalev

Personal information


USA

male

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

History


20 years 4 weeks