Typed operational semantics (1995)

by Healfdene Goguen
Venue:Proceedings of the 2nd International Conference on Typed Lambda Calculi and Applications (TLCA ’95), number 902 inLectureNotes inComputer Science