Theoretical Computer Science
Profile Activity
Network profile
361
reputation
1
8

Andrew Bacon

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

1
answer
5
questions
~1k
people reached
  • Los Angeles, California
  • www-bcf.usc.edu/~abacon
  • Member for 4 years, 11 months
  • 24 profile views
  • Last seen Jun 24 at 21:35

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
3 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

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.