Eng (Sambo) Boris

PhD Student in Computer Science, Team LoVe, LIPN (Université Sorbonne Paris Nord, France) domain_name@hotmail.fr

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

  • Girard's conceptual knitting (version 3)

  • Meaning and Use in Gentzen's logical systems

    proof theory history technical
  • On Intuitionism and Classicism

    proof theory philosophy history technical
  • Questions (currently 10 available)

    constantly updated