A cartesian closed category in Martin-Löf's intuitionistic type theory
Theoretical Computer Science
A Preview of the Basic Picture: A New Perspective on Formal Topology
TYPES '98 Selected papers from the International Workshop on Types for Proofs and Programs
Some points in formal topology
Theoretical Computer Science - Topology in computer science
Continuous domains as formal spaces
Mathematical Structures in Computer Science
Constructive analysis, types and exact real numbers
Mathematical Structures in Computer Science
Exponentiation of Scott Formal Topologies
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 5.23 |