Theoretical Computer Science
Topology via logic
Programming in Martin-Lo¨f's type theory: an introduction
Programming in Martin-Lo¨f's type theory: an introduction
Handbook of logic in computer science (vol. 1)
Handbook of logic in computer science (vol. 3)
Constructive domain theory as a branch of intuitionistic pointfree topology
Theoretical Computer Science
A cartesian closed category in Martin-Löf's intuitionistic type theory
Theoretical Computer Science
Domains for Denotational Semantics
Proceedings of the 9th Colloquium on Automata, Languages and Programming
Constructive metrisability in point-free topology
Theoretical Computer Science - Topology in computer science
Constructive metrisability in point-free topology
Theoretical Computer Science - Topology in computer science
Unique existence, approximate solutions, and countable choice
Theoretical Computer Science - Topology in computer science
Decisions under subjective information
TARK '05 Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge
Pre-apartness structures on spaces of functions
Journal of Complexity
Spatiality for formal topologies
Mathematical Structures in Computer Science
The Zariski spectrum as a formal geometry
Theoretical Computer Science
Quotients over Minimal Type Theory
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
Exponentiation of Scott Formal Topologies
Electronic Notes in Theoretical Computer Science (ENTCS)
Spectral schemes as ringed lattices
Annals of Mathematics and Artificial Intelligence
Relative formal topology: The binary positivity predicate comes first
Mathematical Structures in Computer Science
Solving two problems in general topology via types
TYPES'04 Proceedings of the 2004 international conference on Types for Proofs and Programs
Induction in Algebra: A First Case Study
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Non-deterministic inductive definitions
Archive for Mathematical Logic
Hi-index | 0.00 |