Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Simply_typed_λ_calculus> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- Simply_typed_λ_calculus wikiPageID "33305552".
- Simply_typed_λ_calculus wikiPageLength "42".
- Simply_typed_λ_calculus wikiPageOutDegree "1".
- Simply_typed_λ_calculus wikiPageRedirects Simply_typed_lambda_calculus.
- Simply_typed_λ_calculus wikiPageRevisionID "453954968".
- Simply_typed_λ_calculus wikiPageWikiLink Simply_typed_lambda_calculus.
- Simply_typed_λ_calculus label "Simply typed λ calculus".
- Simply_typed_λ_calculus sameAs m.06c09x.
- Simply_typed_λ_calculus wasDerivedFrom Simply_typed_λ_calculus?oldid=453954968.
- Simply_typed_λ_calculus isPrimaryTopicOf Simply_typed_λ_calculus.