de Bruijn. The mathematical language AUTOMATH, its usage, andsomeofitsextensions (0)

by N G
Venue:InM.Laudet, D.Lacombe, L.Nolin, and M.Schützenberger,editors,Proc.ofSymposiumonAutomaticDemonstration, Versailles,France,Dec.1968,volume125ofLNM125,pages29–61.SpringerVerlag,Berlin,1970. Lambdacalculusnotationwithnamelessdummies.atool forautomaticformulam