I am an assistant professor in philosophy at the University of Southern California.
Los Angeles, California
Member for 5 years, 2 months
0 profile views
Last seen Nov 14 at 23:13
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 →