A Congruence Theorem for Structured Operational Semantics of Higher-Order Languages (1997)
Cached
Download Links
- [dpelab.cs.depaul.edu]
- [dpelab.cs.depaul.edu]
- DBLP
Other Repositories/Bibliography
by
Karen L. Bernstein
| Citations: | 34 - 0 self |
Document Versions
| A Congruence Theorem for Structured Operational Semantics of Higher-Order Languages –Karen L. Bernstein — 1997 |
| A Congruence Theorem for Structured Operational Semantics of Higher-Order Languages –Karen L. Bernstein — 1997 |
