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.
[ Parent
| on HN ]
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)