Matches in SemOpenAlex for { <https://semopenalex.org/work/W2790472081> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2790472081 endingPage "18" @default.
- W2790472081 startingPage "1" @default.
- W2790472081 abstract "We present a new model, called GuardedEqu , of guarded dependent type theory using generalised equilogical spaces. GuardedEqu models guarded recursive types, which can be used to program with coinductive types and we prove that GuardedEqu ensures that all definable functions on coinductive types, e.g., streams, are continuous with respect to the natural topology. We present a direct, elementary, construction of the new model, which, importantly, is coherent (split) by construction." @default.
- W2790472081 created "2018-03-29" @default.
- W2790472081 creator A5055959064 @default.
- W2790472081 creator A5067950871 @default.
- W2790472081 date "2018-04-01" @default.
- W2790472081 modified "2023-10-17" @default.
- W2790472081 title "A model of guarded recursion via generalised equilogical spaces" @default.
- W2790472081 cites W1495567550 @default.
- W2790472081 cites W1520893111 @default.
- W2790472081 cites W1969167499 @default.
- W2790472081 cites W2107354844 @default.
- W2790472081 cites W2116813111 @default.
- W2790472081 cites W2165952355 @default.
- W2790472081 cites W2221454492 @default.
- W2790472081 cites W2913777840 @default.
- W2790472081 cites W2964301529 @default.
- W2790472081 cites W75891272 @default.
- W2790472081 doi "https://doi.org/10.1016/j.tcs.2018.02.012" @default.
- W2790472081 hasPublicationYear "2018" @default.
- W2790472081 type Work @default.
- W2790472081 sameAs 2790472081 @default.
- W2790472081 citedByCount "0" @default.
- W2790472081 crossrefType "journal-article" @default.
- W2790472081 hasAuthorship W2790472081A5055959064 @default.
- W2790472081 hasAuthorship W2790472081A5067950871 @default.
- W2790472081 hasBestOaLocation W27904720811 @default.
- W2790472081 hasConcept C11413529 @default.
- W2790472081 hasConcept C114614502 @default.
- W2790472081 hasConcept C118615104 @default.
- W2790472081 hasConcept C124416688 @default.
- W2790472081 hasConcept C136119220 @default.
- W2790472081 hasConcept C168773036 @default.
- W2790472081 hasConcept C199343813 @default.
- W2790472081 hasConcept C202444582 @default.
- W2790472081 hasConcept C2777686260 @default.
- W2790472081 hasConcept C33923547 @default.
- W2790472081 hasConcept C41008148 @default.
- W2790472081 hasConcept C71924100 @default.
- W2790472081 hasConceptScore W2790472081C11413529 @default.
- W2790472081 hasConceptScore W2790472081C114614502 @default.
- W2790472081 hasConceptScore W2790472081C118615104 @default.
- W2790472081 hasConceptScore W2790472081C124416688 @default.
- W2790472081 hasConceptScore W2790472081C136119220 @default.
- W2790472081 hasConceptScore W2790472081C168773036 @default.
- W2790472081 hasConceptScore W2790472081C199343813 @default.
- W2790472081 hasConceptScore W2790472081C202444582 @default.
- W2790472081 hasConceptScore W2790472081C2777686260 @default.
- W2790472081 hasConceptScore W2790472081C33923547 @default.
- W2790472081 hasConceptScore W2790472081C41008148 @default.
- W2790472081 hasConceptScore W2790472081C71924100 @default.
- W2790472081 hasFunder F4320322928 @default.
- W2790472081 hasLocation W27904720811 @default.
- W2790472081 hasOpenAccess W2790472081 @default.
- W2790472081 hasPrimaryLocation W27904720811 @default.
- W2790472081 hasRelatedWork W1575643632 @default.
- W2790472081 hasRelatedWork W1978042415 @default.
- W2790472081 hasRelatedWork W1982054975 @default.
- W2790472081 hasRelatedWork W2054468579 @default.
- W2790472081 hasRelatedWork W2058503879 @default.
- W2790472081 hasRelatedWork W2155605358 @default.
- W2790472081 hasRelatedWork W2209989534 @default.
- W2790472081 hasRelatedWork W34175919 @default.
- W2790472081 hasRelatedWork W1594476753 @default.
- W2790472081 hasRelatedWork W2188086419 @default.
- W2790472081 hasVolume "722" @default.
- W2790472081 isParatext "false" @default.
- W2790472081 isRetracted "false" @default.
- W2790472081 magId "2790472081" @default.
- W2790472081 workType "article" @default.