Matches in SemOpenAlex for { <https://semopenalex.org/work/W186276688> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W186276688 startingPage "136" @default.
- W186276688 created "2016-06-24" @default.
- W186276688 creator A5016407219 @default.
- W186276688 date "1993-06-16" @default.
- W186276688 modified "2023-09-26" @default.
- W186276688 title "Proving Properties of Typed Lambda Terms: Realizability, Covers, and Sheaves (Abstract)" @default.
- W186276688 hasPublicationYear "1993" @default.
- W186276688 type Work @default.
- W186276688 sameAs 186276688 @default.
- W186276688 citedByCount "0" @default.
- W186276688 crossrefType "proceedings-article" @default.
- W186276688 hasAuthorship W186276688A5016407219 @default.
- W186276688 hasConcept C120665830 @default.
- W186276688 hasConcept C121332964 @default.
- W186276688 hasConcept C135790938 @default.
- W186276688 hasConcept C136119220 @default.
- W186276688 hasConcept C142156749 @default.
- W186276688 hasConcept C199360897 @default.
- W186276688 hasConcept C202444582 @default.
- W186276688 hasConcept C2776378722 @default.
- W186276688 hasConcept C2778113609 @default.
- W186276688 hasConcept C33923547 @default.
- W186276688 hasConcept C41008148 @default.
- W186276688 hasConcept C55128367 @default.
- W186276688 hasConceptScore W186276688C120665830 @default.
- W186276688 hasConceptScore W186276688C121332964 @default.
- W186276688 hasConceptScore W186276688C135790938 @default.
- W186276688 hasConceptScore W186276688C136119220 @default.
- W186276688 hasConceptScore W186276688C142156749 @default.
- W186276688 hasConceptScore W186276688C199360897 @default.
- W186276688 hasConceptScore W186276688C202444582 @default.
- W186276688 hasConceptScore W186276688C2776378722 @default.
- W186276688 hasConceptScore W186276688C2778113609 @default.
- W186276688 hasConceptScore W186276688C33923547 @default.
- W186276688 hasConceptScore W186276688C41008148 @default.
- W186276688 hasConceptScore W186276688C55128367 @default.
- W186276688 hasLocation W1862766881 @default.
- W186276688 hasOpenAccess W186276688 @default.
- W186276688 hasPrimaryLocation W1862766881 @default.
- W186276688 hasRelatedWork W10818377 @default.
- W186276688 hasRelatedWork W1502427414 @default.
- W186276688 hasRelatedWork W1512100133 @default.
- W186276688 hasRelatedWork W1567648932 @default.
- W186276688 hasRelatedWork W1605675993 @default.
- W186276688 hasRelatedWork W1807955673 @default.
- W186276688 hasRelatedWork W1978856319 @default.
- W186276688 hasRelatedWork W2078790484 @default.
- W186276688 hasRelatedWork W2091036953 @default.
- W186276688 hasRelatedWork W2141636159 @default.
- W186276688 hasRelatedWork W2153006281 @default.
- W186276688 hasRelatedWork W2153353244 @default.
- W186276688 hasRelatedWork W2373977992 @default.
- W186276688 hasRelatedWork W2809372972 @default.
- W186276688 hasRelatedWork W3025076051 @default.
- W186276688 hasRelatedWork W3092546402 @default.
- W186276688 hasRelatedWork W3116606092 @default.
- W186276688 hasRelatedWork W588854553 @default.
- W186276688 hasRelatedWork W62459810 @default.
- W186276688 hasRelatedWork W658818708 @default.
- W186276688 isParatext "false" @default.
- W186276688 isRetracted "false" @default.
- W186276688 magId "186276688" @default.
- W186276688 workType "article" @default.