Boris ENG

PhD Student in Computer Science, Team LoVe, LIPN (Université Sorbonne Paris Nord, France) [last name][first name]

Random, biased/subjective and inaccurate thoughts about what I currently think and understand.

  • Logical interaction and the social life of proofs

  • Girard's conceptual knitting (version 4)

  • Meaning and Use in Gentzen's logical systems

    proof theory history technical
  • On Intuitionism and Classicism

    proof theory philosophy history technical
  • Questions (last update: january 2021)

    constantly updated