| 单词 | lambda calculus |
| 释义 | BETA Examples oflambda calculusDictionary> Examples oflambda calculus lambda calculusisn’t in the Cambridge Dictionary yet. You can help! Add a definition In this paper, we compare function definability in intersection type systems with function definability in the simply typedlambdacalculus. From theCambridge English Corpus The next system is alambdacalculuswith function types and, optionally, cartesian products and disjoint unions. From theCambridge English Corpus The self-interpreter we used for the one-levellambda-calculuswas a direct implementation of the semantic rules in fig. 1 without the injections and projections. From theCambridge English Corpus So, unlike the case of simply typedlambdacalculus, two types can be convertible without being syntactically identical. From theCambridge English Corpus However, even people familiar withlambdacalculusare often confused about the proper way of proving this fact. From theCambridge English Corpus A small dependentlytypedlambdacalculussuffices for the effective encoding of most of math and, as we hope to justify, most of programming. From theCambridge English Corpus Initially, we consider a simple language: thelambdacalculusaugmented with mutually recursive let-bindings. From theCambridge English Corpus Normalisation inlambdacalculusand its relation to type inference. From theCambridge English Corpus Approximation theorems are an important tool in the analysis of the -theories induced by models oflambdacalculus. From theCambridge English Corpus They are observationally equivalent, but cannot be proved equal in the call-by-valuelambdacalculus. From theCambridge English Corpus When applied to booleans, this construction yields the classical implementation of ifthen-else inlambdacalculus. From theCambridge English Corpus We suggest another way of looking at the problem, which yields a sense in which thelambdacalculusis equivalent to an algebraic theory. From theCambridge English Corpus Not coincidentally, though, the model we use was originally designed for the bounded higher-orderlambdacalculus. From theCambridge English Corpus Higher order abstract syntax is an abstract syntax representation that extends syntax trees with the abstraction mechanism of thelambdacalculus. From theCambridge English Corpus Each set of equivalence classes is called a limited model of simply typedlambdacalculus. From theCambridge English Corpus This is in contrast to the simply typedlambdacalculusand its extensions, which ignore type information at runtime. From theCambridge English Corpus These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. |
| 随便看 |
英汉词典包含213609条英汉翻译词条，涵盖了常用英语单词及词组短语的翻译及用法，是英语学习的必备工具。