HN Explorer

gnak

↗ HN profile [ 17.4 ms ] full profile
Karma
4
Created
September 21, 2017 (8y ago)
Submissions
0
  1. Ask HN: Notes on Lambda calculus with exercises and solutions?

    I really like the exposition in http://www.cse.chalmers.se/research/group/logic/TypesSS05/Extra/geuvers.pdf, but they do not have any solutions to the problems. Am finding…

    1 points 0