Comparing Functional Paradigms for Exact Real-Number Computation
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
Domain theory and differential calculus (functions of one variable)
Mathematical Structures in Computer Science
A Functional Algorithm for Exact Real Integration with Invariant Measures
Electronic Notes in Theoretical Computer Science (ENTCS)
Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Algebraic Information Theory For Binary Channels
Electronic Notes in Theoretical Computer Science (ENTCS)
Algebraic information theory for binary channels
Theoretical Computer Science
A language for differentiable functions
FOSSACS'13 Proceedings of the 16th international conference on Foundations of Software Science and Computation Structures
| Hi-index | 0.00 |