전문 번역가, 번역 회사, 웹 페이지 및 자유롭게 사용할 수 있는 번역 저장소 등을 활용합니다.
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.
마지막 업데이트: 2016-03-03
사용 빈도: 1
품질:
dit maakt het duidelijker voor de lezer om te begrijpen wat een programma werkelijk doet, en kan relatief eenvoudig omgezet worden naar een echte programeertaal.
this then can be converted relatively easy to a real programming language.
마지막 업데이트: 2018-02-13
사용 빈도: 1
품질: