×
  • Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings

    Simon Peyton-Jones (auth.) Masahito Hasegawa (eds.)

Click on cover to enlarge.
5 - 6Hours to read