Results for lambdacalculus translation from Dutch to English

in de lambdacalculus zijn alle functies anoniem.
anonymous functions originate in the work of alonzo church in his invention of the lambda calculus in 1936 (prior to electronic computers), in which all functions are anonymous.

combinatorische logica is de basis voor een bepaalde stijl van functionele programeertalen en de kracht van combinatorische logica is vergelijkbaar met de lambdacalculus van alonzo church.
the power and scope of combinatory logic is quite similar to that of the lambda calculus of alonzo church, and the latter formalism has tended to predominate in recent decades.

anonieme functies kwamen voor het eerst voor in het werk van alonzo church bij de ontwikkeling van de lambdacalculus in 1936 (lang voor het gebruik van elektronische computers).
if the function is only used once, or a limited number of times, an anonymous function may be syntactically lighter than using a named function.

veel programmeertalen (bijvoorbeeld java) kennen een vorm van garbage collection, als onderdeel van de specificatie van de taal of voor de praktische implementatie ervan (formele talen als lambdacalculus bijvoorbeeld).
many programming languages require garbage collection, either as part of the language specification (for example, java, c#, d language, go and most scripting languages) or effectively for practical implementation (for example, formal languages like lambda calculus); these are said to be "garbage collected languages".