Is topology used in CS?
Annals of Pure and Applied LogicVolume 137, Issues 13, January 2006, Pages 189-239 Programming interfaces and basic topologyAuthor links open overlay panel Share Cite https://doi.org/10.1016/j.apal.2005.05.022Get rights and content Under an Elsevier user license open archive
KeywordsConstructive type theory Predicate transformers Simulation Formal topology Recommended articlesCiting articles (0) Copyright © 2005 Elsevier B.V. All rights reserved.
|
