Typed lambda calculus

Property	Value
rdf:type	Mathematical logic topic owl:NamedIndividual Functional programming topic
rdfs:label	Typed lambda calculus
owl:sameAs	dbr:Typed_lambda_calculus
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Lambda_calculus http://en.wikipedia.org/wiki/List_of_mathematical_logic_topics http://en.wikipedia.org/wiki/List_of_functional_programming_topics http://en.wikipedia.org/wiki/Fixed-point_combinator
skos:prefLabel	Typed lambda calculus
skos:altLabel	type types Kinds of typed lambda calculi simply typed lambda calculus simply typed λ-term typed interpretation typed lambda calculi typed lambda calculus typed λ-calculi typed λ-calculus

About: clgr:Typed_lambda_calculus