1. 11
    Great Works in Programming Languages compsci programming cis.upenn.edu
    taylskid avatar via taylskid 3 years ago | cached | 1 comment

  1.  

  2. 3
    jozefg avatar jozefg 3 years ago | link

    I find it interesting that none of Martin Lof’s or Coquand’s works on their dependently typed calculi are on this.. Especially since most modern proof assistants..