Skip to main content
Academia
Boris's user avatar
Boris's user avatar
Boris's user avatar
Boris
  • Member for 7 years, 9 months
  • Last seen more than 3 years ago
  • Paris, France
Profile Activity
Stats
113
reputation
307
reached
0
answers
1
question
Communities
View all
About

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

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
4
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
Top posts
question
1
Is it a good idea to dedicate a page to thank people on a personal website?
May 17, 2017
Top network posts
View all network posts
27
What exactly is a logic?
16
Main differences and relations between Sequent Calculus and Natural Deduction
12
Pentagon diagram of Monoidal Categories
10
Logic and Computation: a philosophical viewpoint on Curry-Howard isomorphism
9
What is the current status of parallel or concurrent programs in the Curry-Howard isomorphism?