Domain theoretical differential calculi
Autor: | Daniel R. Patten |
---|---|
Rok vydání: | 2019 |
Předmět: | |
Zdroj: | Topology and its Applications. 256:183-197 |
ISSN: | 0166-8641 |
DOI: | 10.1016/j.topol.2019.02.006 |
Popis: | The classical definition of differential is generalized to arbitrary convergence spaces, from which a theory of domain theoretical differential calculi is obtained, then specialized for domain theoretical representations of the Euclidean line and the extended natural numbers. |
Databáze: | OpenAIRE |
Externí odkaz: |