Paper: A Congruence Theorem for Structured Operational Semantics of Higher-Order Languages (at LICS 1998)
Authors: Karen L. BernsteinAbstract
No Abstract Available
BibTeX
@InProceedings{Bernstein-ACongruenceTheoremf, author = {Karen L. Bernstein}, title = {A Congruence Theorem for Structured Operational Semantics of Higher-Order Languages}, booktitle = {Proceedings of the Thirteenth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1998}, year = 1998, editor = {Vaughan Pratt}, month = {June}, pages = {153-164}, location = {Indianapolis, IN, USA}, publisher = {IEEE Computer Society Press} }