A More Immediate Intuitive Appeal 0 ▲ Veit's Blog 1 hour ago · Tech · hide · 0 comments Alonzo Church published The Calculi of Lambda-Conversion in 1941. On page 41, weighing up the formalisms that had been proposed for the intuitive notion… No comments yet. Log in to reply on the Fediverse. Comments will appear here.
