Computer Science
Profile Activity
Meta user
Network profile
463
reputation
2
9

Boris

I'm a student in Computer Science. Logic is my main interest.

1
answer
2
questions
~6k
people reached
  • Paris, France
  • Member for 3 years, 9 months
  • 21 profile views
  • Last seen Mar 20 at 9:14

Communities (11)

Top network posts

Top tags (6)

Score 23
Posts 3
Posts % 100
Score 23
Posts 1
Score 0
Posts 2
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (3)

All Questions Answers
Votes Newest
23 What exactly is a logic? Mar 25 '18
9 What is the current status of parallel or concurrent programs in the Curry-Howard isomorphism? Mar 25 '17
4 What is the role of abstract machines in the Curry-Howard isomorphism? Mar 25 '17

Badges (11)

Gold

—

Silver

2

Rarest

Bronze

9

Rarest

View all badges →