Podcast #128: We chat with Kent C Dodds about why he loves React and discuss what life was like in the dark days before Git. Listen now.
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
~911
people reached
  • Los Angeles, California
  • www-bcf.usc.edu/~abacon
  • Member for 3 years, 2 months
  • 20 profile views
  • Last seen Oct 1 at 5:58

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