Theoretical Computer Science
user avatar
user avatar
user avatar
Andrew Bacon
  • Member for 5 years, 8 months
  • Last seen more than a month ago
Profile Activity
Stats
433
reputation
1k
reached
1
answer
6
questions
Communities
View all
About

I am an assistant professor in philosophy at the University of Southern California.

Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
8
bronze badges
Top tags
View all tags
1
Score
7
Posts
100
Posts %
1
Score
4
Posts
57
Posts %
1
Score
4
Posts
57
Posts %
0
Score
2
Posts
29
Posts %
0
Score
1
Posts
14
Posts %
0
Score
1
Posts
14
Posts %
Top posts
All Questions Answers
Score Newest
question
7
Finding a common factor in $\lambda$-terms that agree under certain substitutions
Sep 28, 2017
question
7
$\lambda$-definability and structure preserved by homomorphisms
Aug 6, 2021
question
5
Characterisation of the BCIW definable functions
Sep 9, 2016
question
5
Recursive types and the empty type
Jun 2, 2017
question
4
Coherence spaces and full completeness for the implicative fragment of linear logic
Jun 12, 2017
question
3
Moggi's computational metalanguage
Mar 28, 2018
answer
1
Finding a common factor in $\lambda$-terms that agree under certain substitutions
Sep 30, 2017
Top network posts
View all 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"
8
Topos theory and higher-order logic

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.