Sequential algorithms, deterministic parallelism, and intensional expressiveness
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Relative definability of boolean functions via hypergraphs
Theoretical Computer Science
Full abstraction, totality and PCF
Mathematical Structures in Computer Science
Information and Computation
Equivalent transformations for invariant parallel functions
AMCOS'05 Proceedings of the 4th WSEAS International Conference on Applied Mathematics and Computer Science
Operational domain theory and topology of sequential programming languages
Information and Computation
Sequentiality and Piecewise-affinity in Segments of Real-PCF
Electronic Notes in Theoretical Computer Science (ENTCS)
Information and Computation
| Hi-index | 0.00 |