Theoretical Computer Science
Network profile
351
reputation
1
8

Andrew Bacon

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

1
answer
5
questions
~934
people reached
  • Los Angeles, California
  • www-bcf.usc.edu/~abacon
  • Member for 3 years, 5 months
  • 20 profile views
  • Last seen Jan 27 at 7:32

Communities (5)

Top network posts

Top tags (12)

Score 1
Posts 6
Posts % 100
Score 1
Posts 3
Score 1
Posts 3
Score 0
Posts 2
Score 0
Posts 1
Score 0
Posts 1
View all tags →

Top posts (6) All Questions Answers | Votes Newest

7 Finding a common factor in $\lambda$-terms that agree under certain substitutions Sep 28 '17
5 Characterisation of the BCIW definable functions Sep 9 '16
5 Recursive types and the empty type Jun 2 '17
4 Coherence spaces and full completeness for the implicative fragment of linear logic Jun 12 '17
2 Moggi's computational metalanguage Mar 28 '18
1 Finding a common factor in $\lambda$-terms that agree under certain substitutions Sep 30 '17

Badges (9)

Gold

—

Silver

1

Rarest

Bronze

8

Rarest