Computer Science
Boris's user avatar
Boris's user avatar
Boris's user avatar
Boris
  • Member for 7 years, 6 months
  • Last seen more than 2 years ago
  • Paris, France
Profile Activity
Stats
493
reputation
7k
reached
1
answer
2
questions
Communities
View all
About

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

Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
9
bronze badges
Top tags
26
Score
3
Posts
100
Posts %
26
Score
1
Posts
33
Posts %
0
Score
2
Posts
67
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
Top posts
All Questions Answers
Score Newest
answer
26
What exactly is a logic?
Mar 25, 2018
question
9
What is the current status of parallel or concurrent programs in the Curry-Howard isomorphism?
Mar 25, 2017
question
4
What is the role of abstract machines in the Curry-Howard isomorphism?
Mar 25, 2017
Top network posts
View all network posts
16
Main differences and relations between Sequent Calculus and Natural Deduction
12
Pentagon diagram of Monoidal Categories
9
Logic and Computation: a philosophical viewpoint on Curry-Howard isomorphism
8
Was Plato an idealist or a realist?
7
What is behind Girard's idea of distinguishing implication ( ⇒) and entailment (⊢) without separating language and meta-language?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.