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