I am an assistant professor in philosophy at the University of Southern California.
Los Angeles, California
Member for 4 years, 11 months
0 profile views
Last seen Jul 31 at 19:36
Top network posts
- 10 When can you "invert" an equation in the lambda calculus
- 9 Variants of Kuratowski's 14 set theorem
- 9 Substitutional modality
- 9 Interpretations of modal logic where $\Box$ means "valid"
- 7 Finding a common factor in $\lambda$-terms that agree under certain substitutions
- 7 Can every relation be defined from "set-ary" relations?
- 6 Determining a measure through a class of measure preserving functions
- View more network posts →