Precedent
lThis notation for talking about a function goes back to (at least) Bourbaki
(French Mathematics Group), where the
symbol
was used instead of
=>
lAlonzo Church used the idea extensively, but with a different symbol l as a prefix. This notation requires some acclimation.
was used instead of
=>lAlonzo Church used the idea extensively, but with a different symbol l as a prefix. This notation requires some acclimation.