Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Simply_typed_lambda_calculus> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- Simply_typed_lambda_calculus abstract "The simply typed lambda calculus , a formof type theory, is a typed interpretation of the lambda calculus with only one type constructor: that builds function types. It is the canonical and simplest example of a typed lambda calculus. The simply typed lambda calculus was originally introduced by Alonzo Church in 1940 as an attempt to avoid paradoxical uses of the untyped lambda calculus, and it exhibits many desirable and interesting properties.The term simple type is also used to refer to extensions of the simply typed lambda calculus such as products, coproducts or natural numbers (System T) or even full recursion (like PCF). In contrast, systems which introduce polymorphic types (like System F) or dependent types (like the Logical Framework) are not considered simply typed. The former are still considered simple because the Church encodings of such structures can be done using only and suitable type variables, while polymorphism and dependency cannot.".
- Simply_typed_lambda_calculus wikiPageExternalLink HBK.ps.
- Simply_typed_lambda_calculus wikiPageExternalLink Church.pdf.
- Simply_typed_lambda_calculus wikiPageExternalLink type-theory-church.
- Simply_typed_lambda_calculus wikiPageExternalLink ECS-LFCS-98-381.
- Simply_typed_lambda_calculus wikiPageID "1986011".
- Simply_typed_lambda_calculus wikiPageRevisionID "602793243".
- Simply_typed_lambda_calculus hasPhotoCollection Simply_typed_lambda_calculus.
- Simply_typed_lambda_calculus subject Category:Lambda_calculus.
- Simply_typed_lambda_calculus subject Category:Theory_of_computation.
- Simply_typed_lambda_calculus comment "The simply typed lambda calculus , a formof type theory, is a typed interpretation of the lambda calculus with only one type constructor: that builds function types. It is the canonical and simplest example of a typed lambda calculus.".
- Simply_typed_lambda_calculus label "Cálculo lambda simplesmente tipado".
- Simply_typed_lambda_calculus label "Simply typed lambda calculus".
- Simply_typed_lambda_calculus label "Просто типизированное лямбда-исчисление".
- Simply_typed_lambda_calculus label "简单类型λ演算".
- Simply_typed_lambda_calculus sameAs Λ-λογισμός_με_απλούς_τύπους.
- Simply_typed_lambda_calculus sameAs Cálculo_lambda_simplesmente_tipado.
- Simply_typed_lambda_calculus sameAs m.06c09x.
- Simply_typed_lambda_calculus sameAs Q855192.
- Simply_typed_lambda_calculus sameAs Q855192.
- Simply_typed_lambda_calculus wasDerivedFrom Simply_typed_lambda_calculus?oldid=602793243.
- Simply_typed_lambda_calculus isPrimaryTopicOf Simply_typed_lambda_calculus.