About: Typed lambda calculus

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Typed formalism that uses the lambda-symbol (λ) to denote anonymous function abstraction

Property	Value
dbo:description	typed formalism that uses the lambda-symbol (λ) to denote anonymous function abstraction (en) formální systém a výpočetní model, ve kterém mají výrazy typy (cs)
dbo:wikiPageExternalLink	https://hbr.github.io/Lambda-Calculus/cc-tex https://ftp.science.ru.nl/CSI/CompMath.Found/HBK.ps
dbo:wikiPageWikiLink	dbr:System_F dbr:System_F-sub dbr:Kappa_calculus dbr:Imperative_programming dbr:Category_theory dbr:Henk_Barendregt dbr:Subtyping dbc:Lambda_calculus dbr:Lambda_calculus dbr:Untyped_lambda_calculus dbr:Cartesian_closed_category dbr:Intuitionistic_type_theory dbr:Type_constructor dbr:Proof_theory dbr:Function_type dbr:Dialectica_interpretation dbc:Logic_in_computer_science dbr:Gordon_Plotkin dbc:Type_theory dbr:Mathematical_logic dbr:Pure_type_system dbc:Theory_of_computation dbr:Calculus_of_constructions dbr:Simply_typed_lambda_calculus dbr:Computer_programming dbr:Second-order_logic dbr:Lambda_cube dbr:LF_(logical_framework) dbr:Strongly_typed_programming_language dbr:Dependent_types dbr:ML_programming_language dbr:Haskell_(programming_language) dbr:Formalism_(mathematics) dbr:Programming_languages dbr:Peano_arithmetic dbr:Strongly_normalizing dbr:Girard's_paradox dbr:Basic_type dbr:Curry–Howard_isomorphism dbr:Functional_programming_languages dbr:Internal_language dbr:Turing-computable dbr:Type_systems dbr:Programming_language_for_Computable_Functions
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Short_description
dct:subject	dbc:Lambda_calculus dbc:Logic_in_computer_science dbc:Type_theory dbc:Theory_of_computation
rdfs:label	Typed lambda calculus (en) Λ-λογισμός με τύπους (el) 型付きラムダ計算 (ja) Rachunek lambda z typami (pl) Типизированное лямбда-исчисление (ru) Типізоване лямбда-числення (uk) 有类型λ演算 (zh)
owl:sameAs	freebase:Typed lambda calculus wikidata:Typed lambda calculus dbpedia-zh:Typed lambda calculus dbpedia-ja:Typed lambda calculus dbpedia-ru:Typed lambda calculus dbpedia-pl:Typed lambda calculus dbpedia-el:Typed lambda calculus dbpedia-hr:Typed lambda calculus dbpedia-is:Typed lambda calculus dbpedia-uk:Typed lambda calculus dbpedia-global:Typed lambda calculus dbr:Typed lambda calculus
prov:wasDerivedFrom	wikipedia-en:Typed_lambda_calculus?oldid=1275754410&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Typed_lambda_calculus
is dbo:wikiPageRedirects of	dbr:Typed_lambda_calculi
is dbo:wikiPageWikiLink of	dbr:System_F dbr:List_of_functional_programming_topics dbr:Functional_programming dbr:Parametric_polymorphism dbr:Deductive_lambda_calculus dbr:Lambda_calculus dbr:Intuitionistic_type_theory dbr:Function_(mathematics) dbr:History_of_logic dbr:Fixed-point_combinator dbr:Categorical_abstract_machine dbr:Turnstile_(symbol) dbr:Type_constructor dbr:Proof_theory dbr:Type_system dbr:Type_theory dbr:Escuela_Superior_Latinoamericana_de_Informática dbr:Normal_form_(abstract_rewriting) dbr:Epigram_(programming_language) dbr:Phase_distinction dbr:List_of_unsolved_problems_in_computer_science dbr:Programming_Computable_Functions dbr:Dependent_type dbr:Automath dbr:Higher-order_function dbr:Pure_type_system dbr:Nonelementary_problem dbr:Transparent_intensional_logic dbr:Higher-order_logic dbr:Realizability dbr:Bounded_quantifier dbr:Böhm_tree dbr:List_of_mathematical_logic_topics dbr:Constructivism_(philosophy_of_mathematics) dbr:Calculus_of_constructions dbr:Simply_typed_lambda_calculus dbr:Curry–Howard_correspondence dbr:Meta-circular_evaluator dbr:ΛProlog dbr:System_U dbr:Typed_lambda_calculi
is foaf:primaryTopic of	wikipedia-en:Typed_lambda_calculus