H ?
«
‹
←
→
›
»
Language peer sets for Church typed-lambda calculus: United States↑ United States/1941↑ Designed 1941 ↑ 1940s languages ↑ First generation↑ WWII↑ Genus Strict evaluation LISPs ↑ String and List Processing ↑ Strict evaluation LISPs↑ LISPs↑ Lambda caculus ↑ Strict evaluation LISPs/1941↑ LISPs/1941↑ Lambda caculus/1941↑ Strict evaluation LISPs/United States↑ LISPs/United States↑ Lambda caculus/United States↑ String and List Processing ↑ String and List Processing/1941↑ String and List Processing/us ↑ Church typed-lambda calculus(ID:5127/chu001)Churchalternate simple viewCountry: United States Designed 1941 Genus: Strict evaluation LISPs Sammet category: String and List Processing Church's combination of the lambda calculus with Russell and Whitehead's theory of types People: Related languages
References: in [ACM] (1965) [ACM] CACM 8(02) Feb 1965 in [ACM] (1966) [ACM] CACM 9(03) March 1966 includes proceedings of the ACM Programming Languages and Pragmatics Conference, San Dimas, California, August 1965 in [ACM] (1978) [ACM] CACM 21(08) (August 1978). in [Proceedings] (2000) Workshop on History of Logics, Types and Rewriting Heriot-Watt University, Edinburgh Tuesday 5 December 2000 Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE  ACM portal CiteSeer CSB ncstrl jstor Bookfinder |