Lambda Calculus: Some Models, Some Philosophy [pdf]lawrencecpaulson.github.io4 points0823498723498723 years ago