Pi-calculus, dialogue games and full abstraction PCF
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Two applications of analytic functors
Theoretical Computer Science - Special issue on theories of types and proofs
Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
Theoretical Computer Science
Operational Characterization of Genre in Literary and Real-life Domains
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
Games and Full Abstraction for FPC
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Information and Computation
Many cyclic block diagrams do not need parallel semantics
ACM SIGPLAN Notices
Fully abstract semantics of additive aspects by translation
Proceedings of the 6th international conference on Aspect-oriented software development
Semantically linear programming languages
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Information and Computation
Stable computational semantics of conflict-free rewrite systems (partial orders with duplication)
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
Linearity and PCF: a semantic insight!
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
Hi-index | 0.00 |