Matches in SemOpenAlex for { <https://semopenalex.org/work/W2141987256> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2141987256 abstract "Set-theoretic (or rather the more general topos-theoretic) models of polymorphic lambda-calculi are discussed under the assumption that the datatypes of the language are to be interpreted as sets and the operations as partial functions. It is shown that it is not possible to obtain a model in which function spaces are interpreted by the full partial function space, but that it is nevertheless possible to have models which incorporate a usefully large class of partial functions. The main result is that set-theoretic models do not exist, even constructively. This is a much stronger result than holds for the classical sound-order lambda calculus. >" @default.
- W2141987256 created "2016-06-24" @default.
- W2141987256 creator A5018870535 @default.
- W2141987256 creator A5022301192 @default.
- W2141987256 date "2002-12-04" @default.
- W2141987256 modified "2023-09-26" @default.
- W2141987256 title "Polymorphism, set theory, and call-by-value" @default.
- W2141987256 cites W1543392755 @default.
- W2141987256 cites W1549406551 @default.
- W2141987256 cites W2005230371 @default.
- W2141987256 cites W2094410575 @default.
- W2141987256 cites W2129113936 @default.
- W2141987256 cites W2135603915 @default.
- W2141987256 cites W2337267853 @default.
- W2141987256 cites W2914837968 @default.
- W2141987256 doi "https://doi.org/10.1109/lics.1990.113729" @default.
- W2141987256 hasPublicationYear "2002" @default.
- W2141987256 type Work @default.
- W2141987256 sameAs 2141987256 @default.
- W2141987256 citedByCount "1" @default.
- W2141987256 crossrefType "proceedings-article" @default.
- W2141987256 hasAuthorship W2141987256A5018870535 @default.
- W2141987256 hasAuthorship W2141987256A5022301192 @default.
- W2141987256 hasConcept C111919701 @default.
- W2141987256 hasConcept C118615104 @default.
- W2141987256 hasConcept C120665830 @default.
- W2141987256 hasConcept C121332964 @default.
- W2141987256 hasConcept C124952713 @default.
- W2141987256 hasConcept C135790938 @default.
- W2141987256 hasConcept C14036430 @default.
- W2141987256 hasConcept C142362112 @default.
- W2141987256 hasConcept C142730499 @default.
- W2141987256 hasConcept C153046414 @default.
- W2141987256 hasConcept C154945302 @default.
- W2141987256 hasConcept C177264268 @default.
- W2141987256 hasConcept C180645754 @default.
- W2141987256 hasConcept C182141236 @default.
- W2141987256 hasConcept C182359184 @default.
- W2141987256 hasConcept C199360897 @default.
- W2141987256 hasConcept C202444582 @default.
- W2141987256 hasConcept C2777212361 @default.
- W2141987256 hasConcept C2778113609 @default.
- W2141987256 hasConcept C2778572836 @default.
- W2141987256 hasConcept C33923547 @default.
- W2141987256 hasConcept C41008148 @default.
- W2141987256 hasConcept C78458016 @default.
- W2141987256 hasConcept C86803240 @default.
- W2141987256 hasConceptScore W2141987256C111919701 @default.
- W2141987256 hasConceptScore W2141987256C118615104 @default.
- W2141987256 hasConceptScore W2141987256C120665830 @default.
- W2141987256 hasConceptScore W2141987256C121332964 @default.
- W2141987256 hasConceptScore W2141987256C124952713 @default.
- W2141987256 hasConceptScore W2141987256C135790938 @default.
- W2141987256 hasConceptScore W2141987256C14036430 @default.
- W2141987256 hasConceptScore W2141987256C142362112 @default.
- W2141987256 hasConceptScore W2141987256C142730499 @default.
- W2141987256 hasConceptScore W2141987256C153046414 @default.
- W2141987256 hasConceptScore W2141987256C154945302 @default.
- W2141987256 hasConceptScore W2141987256C177264268 @default.
- W2141987256 hasConceptScore W2141987256C180645754 @default.
- W2141987256 hasConceptScore W2141987256C182141236 @default.
- W2141987256 hasConceptScore W2141987256C182359184 @default.
- W2141987256 hasConceptScore W2141987256C199360897 @default.
- W2141987256 hasConceptScore W2141987256C202444582 @default.
- W2141987256 hasConceptScore W2141987256C2777212361 @default.
- W2141987256 hasConceptScore W2141987256C2778113609 @default.
- W2141987256 hasConceptScore W2141987256C2778572836 @default.
- W2141987256 hasConceptScore W2141987256C33923547 @default.
- W2141987256 hasConceptScore W2141987256C41008148 @default.
- W2141987256 hasConceptScore W2141987256C78458016 @default.
- W2141987256 hasConceptScore W2141987256C86803240 @default.
- W2141987256 hasLocation W21419872561 @default.
- W2141987256 hasOpenAccess W2141987256 @default.
- W2141987256 hasPrimaryLocation W21419872561 @default.
- W2141987256 hasRelatedWork W1494331750 @default.
- W2141987256 hasRelatedWork W1512942033 @default.
- W2141987256 hasRelatedWork W1590334370 @default.
- W2141987256 hasRelatedWork W1595716122 @default.
- W2141987256 hasRelatedWork W181778631 @default.
- W2141987256 hasRelatedWork W1982750193 @default.
- W2141987256 hasRelatedWork W1983085094 @default.
- W2141987256 hasRelatedWork W1989385400 @default.
- W2141987256 hasRelatedWork W2042577486 @default.
- W2141987256 hasRelatedWork W2047638225 @default.
- W2141987256 hasRelatedWork W2055920197 @default.
- W2141987256 hasRelatedWork W2095735896 @default.
- W2141987256 hasRelatedWork W2107434653 @default.
- W2141987256 hasRelatedWork W2109863708 @default.
- W2141987256 hasRelatedWork W2115699102 @default.
- W2141987256 hasRelatedWork W2119619898 @default.
- W2141987256 hasRelatedWork W2120101036 @default.
- W2141987256 hasRelatedWork W2160412271 @default.
- W2141987256 hasRelatedWork W2161646252 @default.
- W2141987256 hasRelatedWork W2117331733 @default.
- W2141987256 isParatext "false" @default.
- W2141987256 isRetracted "false" @default.
- W2141987256 magId "2141987256" @default.
- W2141987256 workType "article" @default.