Theoretical Computer Science
Foundation of a computable solid modelling
Theoretical Computer Science
MFCS '01 Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science
An Abstract Look at Realizability
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
A General Notion of Realizability
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Topological and limit-space subcategories of countably-based equilogical spaces
Mathematical Structures in Computer Science
Realizability: a historical essay
Mathematical Structures in Computer Science
Variations on realizability: realizing the propositional axiom of choice
Mathematical Structures in Computer Science
General synthetic domain theory – a logical approach
Mathematical Structures in Computer Science
Theoretical Computer Science - Mathematical foundations of programming semantics
Reducibility of domain representations and cantor–weihrauch domain representations
Mathematical Structures in Computer Science
Injective Convergence Spaces and Equilogical Spaces via Pretopological Spaces
Electronic Notes in Theoretical Computer Science (ENTCS)
Abstract effects and proof-relevant logical relations
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Hi-index | 0.00 |