Matches in SemOpenAlex for { <https://semopenalex.org/work/W36563925> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W36563925 endingPage "175" @default.
- W36563925 startingPage "157" @default.
- W36563925 abstract "The paper is about the comparison between (apparently) different cartesian closed extensions of the category of topological spaces. Since topological spaces do not in general allow formation of function spaces, the problem of determining suitable categories with such a property—and nicely related to that of topological spaces—was studied from many different perspectives: general topology, functional analysis, measure theory, computability. From a computational perspective, the interest about topological properties of the function spaces arose after the discovery of topological models of the λ-calculus by D.S. Scott, see [22], and the work of Ersov on the partial continuous functionals, see [12]. At the same time, work on cartesian closed extensions of the category of topological spaces in general topology produced interesting quasitoposes of filter spaces where a notion of convergence replaced that of neighbourhood system, see [23] for a complete review. The semantical analysis of computer behaviour requires that the mechanical black box which is the computer is simply a rule-executing grinder which determines values/outputs from given arguments/inputs. Although the mathematical concept of a Turing machine explains very precisely how the grinder operates, it is extremely useful to be able to have a more conceptual intuition about what a machine does. One of the most useful approximations to this intuition produced so far is the following: a computer executing a program evaluates a partial function. It follows that one of the most important things to know is whether, given a certain collection of inputs, the function evaluates on them all. Since programs can be stored in the machine, and operated upon by the grinder, a direct consequence is that extensional models of programs are to be cartesian closed categories. By an extensional model, here we mean a mathematical structure where two maps are distinguished by their values on global elements, e.g. a category where the terminal object generates. This does not necessarily mean that a general notion of model of computation" @default.
- W36563925 created "2016-06-24" @default.
- W36563925 creator A5018870535 @default.
- W36563925 date "2000-01-01" @default.
- W36563925 modified "2023-09-24" @default.
- W36563925 title "Equilogical spaces and filter spaces" @default.
- W36563925 cites W1003252819 @default.
- W36563925 cites W1919166405 @default.
- W36563925 cites W1996443480 @default.
- W36563925 cites W2006465911 @default.
- W36563925 cites W2085254659 @default.
- W36563925 cites W2095288273 @default.
- W36563925 cites W2112548883 @default.
- W36563925 cites W2168025539 @default.
- W36563925 hasPublicationYear "2000" @default.
- W36563925 type Work @default.
- W36563925 sameAs 36563925 @default.
- W36563925 citedByCount "15" @default.
- W36563925 countsByYear W365639252013 @default.
- W36563925 countsByYear W365639252018 @default.
- W36563925 crossrefType "journal-article" @default.
- W36563925 hasAuthorship W36563925A5018870535 @default.
- W36563925 hasConcept C104317684 @default.
- W36563925 hasConcept C111472728 @default.
- W36563925 hasConcept C11413529 @default.
- W36563925 hasConcept C114614502 @default.
- W36563925 hasConcept C118615104 @default.
- W36563925 hasConcept C132010649 @default.
- W36563925 hasConcept C138885662 @default.
- W36563925 hasConcept C142730499 @default.
- W36563925 hasConcept C152062344 @default.
- W36563925 hasConcept C171032842 @default.
- W36563925 hasConcept C178099376 @default.
- W36563925 hasConcept C184720557 @default.
- W36563925 hasConcept C185592680 @default.
- W36563925 hasConcept C202444582 @default.
- W36563925 hasConcept C29248071 @default.
- W36563925 hasConcept C29585364 @default.
- W36563925 hasConcept C33923547 @default.
- W36563925 hasConcept C41008148 @default.
- W36563925 hasConcept C45374587 @default.
- W36563925 hasConcept C47776270 @default.
- W36563925 hasConcept C55112680 @default.
- W36563925 hasConcept C55493867 @default.
- W36563925 hasConcept C6419321 @default.
- W36563925 hasConcept C81332173 @default.
- W36563925 hasConceptScore W36563925C104317684 @default.
- W36563925 hasConceptScore W36563925C111472728 @default.
- W36563925 hasConceptScore W36563925C11413529 @default.
- W36563925 hasConceptScore W36563925C114614502 @default.
- W36563925 hasConceptScore W36563925C118615104 @default.
- W36563925 hasConceptScore W36563925C132010649 @default.
- W36563925 hasConceptScore W36563925C138885662 @default.
- W36563925 hasConceptScore W36563925C142730499 @default.
- W36563925 hasConceptScore W36563925C152062344 @default.
- W36563925 hasConceptScore W36563925C171032842 @default.
- W36563925 hasConceptScore W36563925C178099376 @default.
- W36563925 hasConceptScore W36563925C184720557 @default.
- W36563925 hasConceptScore W36563925C185592680 @default.
- W36563925 hasConceptScore W36563925C202444582 @default.
- W36563925 hasConceptScore W36563925C29248071 @default.
- W36563925 hasConceptScore W36563925C29585364 @default.
- W36563925 hasConceptScore W36563925C33923547 @default.
- W36563925 hasConceptScore W36563925C41008148 @default.
- W36563925 hasConceptScore W36563925C45374587 @default.
- W36563925 hasConceptScore W36563925C47776270 @default.
- W36563925 hasConceptScore W36563925C55112680 @default.
- W36563925 hasConceptScore W36563925C55493867 @default.
- W36563925 hasConceptScore W36563925C6419321 @default.
- W36563925 hasConceptScore W36563925C81332173 @default.
- W36563925 hasLocation W365639251 @default.
- W36563925 hasOpenAccess W36563925 @default.
- W36563925 hasPrimaryLocation W365639251 @default.
- W36563925 hasRelatedWork W1582269801 @default.
- W36563925 hasRelatedWork W16477519 @default.
- W36563925 hasRelatedWork W1919166405 @default.
- W36563925 hasRelatedWork W1986005496 @default.
- W36563925 hasRelatedWork W1996443480 @default.
- W36563925 hasRelatedWork W2034290319 @default.
- W36563925 hasRelatedWork W2078095689 @default.
- W36563925 hasRelatedWork W2085254659 @default.
- W36563925 hasRelatedWork W2093541252 @default.
- W36563925 hasRelatedWork W2094410575 @default.
- W36563925 hasRelatedWork W2107996244 @default.
- W36563925 hasRelatedWork W2112548883 @default.
- W36563925 hasRelatedWork W2120713972 @default.
- W36563925 hasRelatedWork W2126160338 @default.
- W36563925 hasRelatedWork W2138898876 @default.
- W36563925 hasRelatedWork W2162548412 @default.
- W36563925 hasRelatedWork W2611511037 @default.
- W36563925 hasRelatedWork W2913777840 @default.
- W36563925 hasRelatedWork W3023000967 @default.
- W36563925 hasRelatedWork W3177299375 @default.
- W36563925 hasVolume "64" @default.
- W36563925 isParatext "false" @default.
- W36563925 isRetracted "false" @default.
- W36563925 magId "36563925" @default.
- W36563925 workType "article" @default.