Encoding operational semantics in logical frameworks: A critical review of LF/Elf (1995)

by Henning Niss, John Hatcliff
Venue:Proceedings of the 1995 Workshop on Programming Language Theory, Goteborg