Matches in SemOpenAlex for { <https://semopenalex.org/work/W2110018753> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W2110018753 abstract "Computational open-endedness in a type theory is defined as the property that theorems remain true under extensions to the underlying programming language. Some properties related to open-endedness that are relevant to machine implementations of type theory are established. A class of computation systems, specified by a simple but fairly general kind of structural operational semantics, with respect to which P. Martin-Lof's (6th Int. Congress for Logic, Methodology, and Philosophy of Science, p.153-175, 1982) type theory (and most of its descendants) is open-ended is defined. It is shown that any such system validates a useful form of type free reasoning about program equivalence and that symbolic computation procedures can be automatically derived from these specifications. The main result is the definition of a particular computation system that includes a collection of oracles sufficient to provide a classical semantics for Martin-Lof's type theory in which the excluded middle law holds. >" @default.
- W2110018753 created "2016-06-24" @default.
- W2110018753 creator A5073189486 @default.
- W2110018753 date "2002-12-10" @default.
- W2110018753 modified "2023-09-23" @default.
- W2110018753 title "On computational open-endedness in Martin-Lof's type theory" @default.
- W2110018753 cites W126568045 @default.
- W2110018753 cites W1607685739 @default.
- W2110018753 cites W1763978647 @default.
- W2110018753 cites W1978895269 @default.
- W2110018753 cites W1980378659 @default.
- W2110018753 cites W2088941870 @default.
- W2110018753 cites W2124798629 @default.
- W2110018753 cites W2167949883 @default.
- W2110018753 cites W4249903311 @default.
- W2110018753 doi "https://doi.org/10.1109/lics.1991.151641" @default.
- W2110018753 hasPublicationYear "2002" @default.
- W2110018753 type Work @default.
- W2110018753 sameAs 2110018753 @default.
- W2110018753 citedByCount "22" @default.
- W2110018753 countsByYear W21100187532012 @default.
- W2110018753 countsByYear W21100187532015 @default.
- W2110018753 countsByYear W21100187532016 @default.
- W2110018753 countsByYear W21100187532017 @default.
- W2110018753 countsByYear W21100187532019 @default.
- W2110018753 crossrefType "proceedings-article" @default.
- W2110018753 hasAuthorship W2110018753A5073189486 @default.
- W2110018753 hasConcept C18903297 @default.
- W2110018753 hasConcept C2777299769 @default.
- W2110018753 hasConcept C41008148 @default.
- W2110018753 hasConcept C80444323 @default.
- W2110018753 hasConcept C86803240 @default.
- W2110018753 hasConcept C93682546 @default.
- W2110018753 hasConceptScore W2110018753C18903297 @default.
- W2110018753 hasConceptScore W2110018753C2777299769 @default.
- W2110018753 hasConceptScore W2110018753C41008148 @default.
- W2110018753 hasConceptScore W2110018753C80444323 @default.
- W2110018753 hasConceptScore W2110018753C86803240 @default.
- W2110018753 hasConceptScore W2110018753C93682546 @default.
- W2110018753 hasLocation W21100187531 @default.
- W2110018753 hasOpenAccess W2110018753 @default.
- W2110018753 hasPrimaryLocation W21100187531 @default.
- W2110018753 hasRelatedWork W1532335840 @default.
- W2110018753 hasRelatedWork W1569206238 @default.
- W2110018753 hasRelatedWork W1913597141 @default.
- W2110018753 hasRelatedWork W2787703111 @default.
- W2110018753 hasRelatedWork W2971463921 @default.
- W2110018753 hasRelatedWork W2985011261 @default.
- W2110018753 hasRelatedWork W3174744436 @default.
- W2110018753 hasRelatedWork W36018290 @default.
- W2110018753 hasRelatedWork W4297817897 @default.
- W2110018753 hasRelatedWork W4306816010 @default.
- W2110018753 isParatext "false" @default.
- W2110018753 isRetracted "false" @default.
- W2110018753 magId "2110018753" @default.
- W2110018753 workType "article" @default.