Matches in SemOpenAlex for { <https://semopenalex.org/work/W2493115576> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2493115576 abstract "We present a game model of the untyped lambda-calculus, with equational theory equal to the Bohm tree lambda-theory, which is universal (i.e. every element of the model is definable by some term). This answers a question of Di Gianantonio, Franco and Housell. We build on our earlier work, which uses the methods of innocent game semantics to develop a universal model inducing the maximal consistent theory H*. To our knowledge these are the first syntax-independent universal models of the untyped lambda-calculus." @default.
- W2493115576 created "2016-08-23" @default.
- W2493115576 creator A5015470381 @default.
- W2493115576 creator A5049705867 @default.
- W2493115576 date "2000-11-01" @default.
- W2493115576 modified "2023-09-24" @default.
- W2493115576 title "A universal innocent model of the Bohm tree lambda theoryA. Ker" @default.
- W2493115576 hasPublicationYear "2000" @default.
- W2493115576 type Work @default.
- W2493115576 sameAs 2493115576 @default.
- W2493115576 citedByCount "0" @default.
- W2493115576 crossrefType "journal-article" @default.
- W2493115576 hasAuthorship W2493115576A5015470381 @default.
- W2493115576 hasAuthorship W2493115576A5049705867 @default.
- W2493115576 hasConcept C113174947 @default.
- W2493115576 hasConcept C114614502 @default.
- W2493115576 hasConcept C118615104 @default.
- W2493115576 hasConcept C120665830 @default.
- W2493115576 hasConcept C121332964 @default.
- W2493115576 hasConcept C135790938 @default.
- W2493115576 hasConcept C136119220 @default.
- W2493115576 hasConcept C142156749 @default.
- W2493115576 hasConcept C154945302 @default.
- W2493115576 hasConcept C184337299 @default.
- W2493115576 hasConcept C188971069 @default.
- W2493115576 hasConcept C199343813 @default.
- W2493115576 hasConcept C199360897 @default.
- W2493115576 hasConcept C202444582 @default.
- W2493115576 hasConcept C2777686260 @default.
- W2493115576 hasConcept C2778113609 @default.
- W2493115576 hasConcept C33923547 @default.
- W2493115576 hasConcept C41008148 @default.
- W2493115576 hasConcept C60048249 @default.
- W2493115576 hasConcept C61237538 @default.
- W2493115576 hasConcept C61797465 @default.
- W2493115576 hasConcept C62520636 @default.
- W2493115576 hasConcept C71924100 @default.
- W2493115576 hasConceptScore W2493115576C113174947 @default.
- W2493115576 hasConceptScore W2493115576C114614502 @default.
- W2493115576 hasConceptScore W2493115576C118615104 @default.
- W2493115576 hasConceptScore W2493115576C120665830 @default.
- W2493115576 hasConceptScore W2493115576C121332964 @default.
- W2493115576 hasConceptScore W2493115576C135790938 @default.
- W2493115576 hasConceptScore W2493115576C136119220 @default.
- W2493115576 hasConceptScore W2493115576C142156749 @default.
- W2493115576 hasConceptScore W2493115576C154945302 @default.
- W2493115576 hasConceptScore W2493115576C184337299 @default.
- W2493115576 hasConceptScore W2493115576C188971069 @default.
- W2493115576 hasConceptScore W2493115576C199343813 @default.
- W2493115576 hasConceptScore W2493115576C199360897 @default.
- W2493115576 hasConceptScore W2493115576C202444582 @default.
- W2493115576 hasConceptScore W2493115576C2777686260 @default.
- W2493115576 hasConceptScore W2493115576C2778113609 @default.
- W2493115576 hasConceptScore W2493115576C33923547 @default.
- W2493115576 hasConceptScore W2493115576C41008148 @default.
- W2493115576 hasConceptScore W2493115576C60048249 @default.
- W2493115576 hasConceptScore W2493115576C61237538 @default.
- W2493115576 hasConceptScore W2493115576C61797465 @default.
- W2493115576 hasConceptScore W2493115576C62520636 @default.
- W2493115576 hasConceptScore W2493115576C71924100 @default.
- W2493115576 hasLocation W24931155761 @default.
- W2493115576 hasOpenAccess W2493115576 @default.
- W2493115576 hasPrimaryLocation W24931155761 @default.
- W2493115576 hasRelatedWork W1370157 @default.
- W2493115576 hasRelatedWork W1487757690 @default.
- W2493115576 hasRelatedWork W1495260436 @default.
- W2493115576 hasRelatedWork W1529173292 @default.
- W2493115576 hasRelatedWork W1537995368 @default.
- W2493115576 hasRelatedWork W1726137516 @default.
- W2493115576 hasRelatedWork W1816420085 @default.
- W2493115576 hasRelatedWork W1819331349 @default.
- W2493115576 hasRelatedWork W1968168625 @default.
- W2493115576 hasRelatedWork W1970779642 @default.
- W2493115576 hasRelatedWork W1979984986 @default.
- W2493115576 hasRelatedWork W1981693770 @default.
- W2493115576 hasRelatedWork W2006341276 @default.
- W2493115576 hasRelatedWork W2012491527 @default.
- W2493115576 hasRelatedWork W2044279448 @default.
- W2493115576 hasRelatedWork W2054684736 @default.
- W2493115576 hasRelatedWork W2171556610 @default.
- W2493115576 hasRelatedWork W2953127448 @default.
- W2493115576 hasRelatedWork W2966569729 @default.
- W2493115576 hasRelatedWork W39037062 @default.
- W2493115576 isParatext "false" @default.
- W2493115576 isRetracted "false" @default.
- W2493115576 magId "2493115576" @default.
- W2493115576 workType "article" @default.