Computer Science
Profile Activity
Network profile
153
reputation
5

bbarker

Twitter

LinkedIn

0
answers
2
questions
~225
people reached
  • Ithaca, NY
  • github.com/bbarker
  • Member for 2 years, 11 months
  • 3 profile views
  • Last seen Dec 17 '20 at 21:30

Communities (47)

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