I am an assistant professor in philosophy at the University of Southern California.
Los Angeles, California
Member for 4 years, 7 months
0 profile views
Last seen Jun 10 '16 at 17:50
Top network posts
- 10 When can you "invert" an equation in the lambda calculus
- 8 Variants of Kuratowski's 14 set theorem
- 8 Substitutional modality
- 7 Finding a common factor in $\lambda$-terms that agree under certain substitutions
- 7 Can every relation be defined from "set-ary" relations?
- 6 Recursive types and the empty type
- 6 Can all relations be defined from symmetric relations?
- View more network posts →
Keeping a low profile.
This user hasn't posted yet.
Aug 26 '15