Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Theoretical Computer Science
Network profile
231
reputation
1
8

Andrew Bacon

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

1
answer
5
questions
~882
people reached
  • Los Angeles, California
  • www-bcf.usc.edu/~abacon
  • Member for 2 years, 9 months
  • 18 profile views
  • Last seen 2 days ago

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