News for hackers. Stuff that matters.
Re:A circuit-like notation for lambda calculus (2015) by voidhorse on Monday August 17, 2020 @07:47PM (#24193644)
If you get a chance to read it, the Begriffsschrift (literally “concept writing”) in which Frege explains the system and uses it is a fascinating read. Last time I checked it’s pretty hard to find a copy—mostly university libraries have it.
Re:A circuit-like notation for lambda calculus (2015) by dvt on Monday August 17, 2020 @07:53PM (#24193679)
Yep, it's incredibly ahead of its time (written in the late 1800s)! Had to read parts of it for a course on (you guessed it) Lambda Calculus :)
Re:A circuit-like notation for lambda calculus (2015) by 082349872349872 on Tuesday August 18, 2020 @12:48AM (#24195366)