Annals of Pure and Applied Logic
Volume 137, Issues 13, January 2006, Pages 189-239
Programming interfaces and basic topology
Author links open overlay panel
Share
Cite
//doi.org/10.1016/j.apal.2005.05.022Get rights and content
Under an Elsevier user license
open archive
- Previous article in issue
- Next article in issue
Keywords
Constructive type theory
Predicate transformers
Simulation
Formal topology
Recommended articlesCiting articles [0]
Copyright © 2005 Elsevier B.V. All rights reserved.