Computer Science
Profile Activity
Network profile
143
reputation
5

bbarker

Twitter

LinkedIn

0
answers
2
questions
~221
people reached
  • Ithaca, NY
  • github.com/bbarker
  • Member for 2 years, 5 months
  • 3 profile views
  • Last seen Apr 13 at 13:09

Communities (39)

Top network posts

Top tags (4)

Score 0
Posts 2
Posts % 100
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (2)

All Questions Answers
Votes Newest
4 What are some examples of types that can't be derived set theoretically? Mar 5 '18
0 How do you derive a type $∃e(e)$ in terms of universally quantified types, without invoking Void initially? Aug 22 '19

Badges (5)

Gold

—

Silver

—

Bronze

5

Rarest