Soundness of the Logical Framework for Its Typed Operational Semantics

@inproceedings{Goguen1999SoundnessOT,
  title={Soundness of the Logical Framework for Its Typed Operational Semantics},
  author={Healfdene Goguen},
  booktitle={TLCA},
  year={1999}
}
Highly Cited
This paper has 23 citations. REVIEW CITATIONS