About: Mogensen–Scott encoding

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Way to represent data types in the lambda calculus

Property	Value
dbo:description	way to represent data types in the lambda calculus (en)
dbo:wikiPageExternalLink	http://citeseer.ist.psu.edu/viewdoc/summary%3Fdoi=10.1.1.56.4382 https://api.semanticscholar.org/CorpusID:16124152
dbo:wikiPageWikiLink	dbr:System_F dbr:Michel_Parigot dbr:Torben_Mogensen dbc:Lambda_calculus dbr:Lambda_calculus dbr:Untyped_lambda_calculus dbr:Dana_Scott dbr:Church_encoding dbr:Normal_form_(abstract_rewriting) dbr:Parameter_(computer_programming) dbr:Algebraic_data_type dbr:Arity dbr:Recursive_data_type dbr:Computer_science dbr:Metaprogramming dbr:Tagged_union dbr:Embedding dbr:Lambda_cube dbr:Haskell_(programming_language) dbr:Algebraic_data_types
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Citation_needed dbt:Short_description
dct:subject	dbc:Lambda_calculus
gold:hypernym	dbr:Way
rdfs:label	Mogensen–Scott encoding (en)
owl:sameAs	freebase:Mogensen–Scott encoding wikidata:Mogensen–Scott encoding dbpedia-global:Mogensen–Scott encoding
prov:wasDerivedFrom	wikipedia-en:Mogensen–Scott_encoding?oldid=1233067412&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Mogensen–Scott_encoding
is dbo:knownFor of	dbr:Dana_Scott
is dbo:wikiPageRedirects of	dbr:Mogensen-Scott_encoding dbr:Scott_encoding
is dbo:wikiPageWikiLink of	dbr:Dana_Scott dbr:Type_theory dbr:Church_encoding dbr:Mogensen-Scott_encoding dbr:Scott_encoding
is foaf:primaryTopic of	wikipedia-en:Mogensen–Scott_encoding

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International