Kommentit
Mielestäni tässä artikkelissa on perustavanlaatuinen ristiriita, ja se alkaa lambdalaskentaa käsittelevästä kappaleesta. Tarvitaan silta historiallisen työn ja laskentakielten välillä: Ada Byron kehitti jonkinlaisen notaation algoritmiselle laskennalle, joten ohjelmointiparadigmojen pitäisi juontaa juurensa ainakin häneen. John McCarthy kirjoitti vuonna 1963 uraauurtavan artikkelin A basis for a mathematical theory of computation, joka löytyy teoksesta Computer Programming and formal systems. North-Holland. McCarthyn paperi on silta nykyisestä ja Churchin, Turingin ja Kleenen töistä. McCarthyn perusargumentti oli, että rekursiiviset funktiot olivat luonnollinen asetelma. Denotationaalinen semantiikka on luonnollinen jatke McCarthyn ajatuksille Stracheyn ja Scottin kautta.