Matches in SemOpenAlex for { <https://semopenalex.org/work/W2571763935> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2571763935 abstract "This note suports to prove something which Oege de Moor presented as an open problem in a talk entitled Pointwise Relations” at the Computer Laboratory on December 1st. Since I’ve rephrased everything in terms with which I’m more familiar1 (and may well have misunderstood or misremembered what he said), it’s entirely possible that it doesn’t, however. Oege starts with a simply-typed lambda calculus. This is given two interpretations, one in Set and one in Rel . Now Rel is the Kleisli category of the powerset monad P on Set and I believe that Oege’s direct relational semantics is the same one as you get by factoring through the call-by-value translation into Moggi’s computational metalanguage and then interpreting that in Set with T = P" @default.
- W2571763935 created "2017-01-26" @default.
- W2571763935 creator A5023252122 @default.
- W2571763935 date "2000-12-06" @default.
- W2571763935 modified "2023-09-24" @default.
- W2571763935 title "A Proof Sketch Of Something Which May Possibly Be A Conjecture of Oege de Moor" @default.
- W2571763935 hasPublicationYear "2000" @default.
- W2571763935 type Work @default.
- W2571763935 sameAs 2571763935 @default.
- W2571763935 citedByCount "0" @default.
- W2571763935 crossrefType "journal-article" @default.
- W2571763935 hasAuthorship W2571763935A5023252122 @default.
- W2571763935 hasConcept C105795698 @default.
- W2571763935 hasConcept C111472728 @default.
- W2571763935 hasConcept C11413529 @default.
- W2571763935 hasConcept C118615104 @default.
- W2571763935 hasConcept C136119220 @default.
- W2571763935 hasConcept C138885662 @default.
- W2571763935 hasConcept C142998047 @default.
- W2571763935 hasConcept C177264268 @default.
- W2571763935 hasConcept C184337299 @default.
- W2571763935 hasConcept C199343813 @default.
- W2571763935 hasConcept C199360897 @default.
- W2571763935 hasConcept C202444582 @default.
- W2571763935 hasConcept C2776291640 @default.
- W2571763935 hasConcept C2777686260 @default.
- W2571763935 hasConcept C2779231336 @default.
- W2571763935 hasConcept C2780990831 @default.
- W2571763935 hasConcept C33923547 @default.
- W2571763935 hasConcept C41008148 @default.
- W2571763935 hasConcept C71924100 @default.
- W2571763935 hasConceptScore W2571763935C105795698 @default.
- W2571763935 hasConceptScore W2571763935C111472728 @default.
- W2571763935 hasConceptScore W2571763935C11413529 @default.
- W2571763935 hasConceptScore W2571763935C118615104 @default.
- W2571763935 hasConceptScore W2571763935C136119220 @default.
- W2571763935 hasConceptScore W2571763935C138885662 @default.
- W2571763935 hasConceptScore W2571763935C142998047 @default.
- W2571763935 hasConceptScore W2571763935C177264268 @default.
- W2571763935 hasConceptScore W2571763935C184337299 @default.
- W2571763935 hasConceptScore W2571763935C199343813 @default.
- W2571763935 hasConceptScore W2571763935C199360897 @default.
- W2571763935 hasConceptScore W2571763935C202444582 @default.
- W2571763935 hasConceptScore W2571763935C2776291640 @default.
- W2571763935 hasConceptScore W2571763935C2777686260 @default.
- W2571763935 hasConceptScore W2571763935C2779231336 @default.
- W2571763935 hasConceptScore W2571763935C2780990831 @default.
- W2571763935 hasConceptScore W2571763935C33923547 @default.
- W2571763935 hasConceptScore W2571763935C41008148 @default.
- W2571763935 hasConceptScore W2571763935C71924100 @default.
- W2571763935 hasLocation W25717639351 @default.
- W2571763935 hasOpenAccess W2571763935 @default.
- W2571763935 hasPrimaryLocation W25717639351 @default.
- W2571763935 hasRelatedWork W108499889 @default.
- W2571763935 hasRelatedWork W123162991 @default.
- W2571763935 hasRelatedWork W135664300 @default.
- W2571763935 hasRelatedWork W144516120 @default.
- W2571763935 hasRelatedWork W1600994103 @default.
- W2571763935 hasRelatedWork W182945567 @default.
- W2571763935 hasRelatedWork W192949333 @default.
- W2571763935 hasRelatedWork W1965773208 @default.
- W2571763935 hasRelatedWork W2068084031 @default.
- W2571763935 hasRelatedWork W2086070079 @default.
- W2571763935 hasRelatedWork W2158972307 @default.
- W2571763935 hasRelatedWork W2170223912 @default.
- W2571763935 hasRelatedWork W2184678657 @default.
- W2571763935 hasRelatedWork W2260885894 @default.
- W2571763935 hasRelatedWork W2500363884 @default.
- W2571763935 hasRelatedWork W2798192673 @default.
- W2571763935 hasRelatedWork W2803130631 @default.
- W2571763935 hasRelatedWork W36949280 @default.
- W2571763935 hasRelatedWork W9586012 @default.
- W2571763935 hasRelatedWork W634156786 @default.
- W2571763935 isParatext "false" @default.
- W2571763935 isRetracted "false" @default.
- W2571763935 magId "2571763935" @default.
- W2571763935 workType "article" @default.