Philosophy
Boris's user avatar
Boris's user avatar
Boris's user avatar
Boris
  • Member for 7 years, 6 months
  • Last seen more than 6 years ago
  • Paris, France
Profile Activity
Stats
878
reputation
0
reached
0
answers
0
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.
4
silver badges
1
bronze badge
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
26
What exactly is a logic?
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
9
What is the current status of parallel or concurrent programs in the Curry-Howard isomorphism?

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.