Computer Science
Network profile
143
reputation
5

bbarker

Twitter

LinkedIn

0
answers
2
questions
~205
people reached
  • Ithaca, NY
  • github.com/bbarker
  • Member for 1 year, 10 months
  • 3 profile views
  • Last seen 4 mins ago

Communities (37)

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