User contributions for 2806:106E:B:31B1:3A5F:DB9E:42BD:B4BD

Results for 2806:106E:B:31B1:3A5F:DB9E:42BD:B4BD talk block log logs
Jump to navigation Jump to search
Search for contributionsExpandCollapse
⧼contribs-top⧽
⧼contribs-date⧽

14 August 2022

  • 12:4912:49, 14 August 2022 diff hist +3,059 N Lambda Calculus Sorry but everything was wrong, I just wrote it as it is see The Lambda Calculus. Its Syntax and Semantics by Henk Barendregt not the notes of some very elementary programming course current
Retrieved from "https://en.wikibooks.beta.math.wmflabs.org/wiki/Special:Contributions/2806:106E:B:31B1:3A5F:DB9E:42BD:B4BD"