I am an assistant professor in philosophy at the University of Southern California.
Los Angeles, California
Member for 4 years, 8 months
0 profile views
Last seen Feb 27 at 1:45
Top network posts
- 10 When can you "invert" an equation in the lambda calculus
- 8 Substitutional modality
- 8 Variants of Kuratowski's 14 set theorem
- 7 Can every relation be defined from "set-ary" relations?
- 7 Finding a common factor in $\lambda$-terms that agree under certain substitutions
- 6 Recursive types and the empty type
- 6 Finding a poset with a homogeneity property
- View more network posts →