Home » user account

Chris Martens

Personal information


female

http://chrisamaphone.livejournal.com/

undergraduate in computer science/logic and computation at carnegie mellon.


type theory, substructural logics, linear logic, ordered logic, modal logic, hybrid logic, classical logic, category theory, logical frameworks, lf, twelf, standard ml

History


1 year 24 weeks