Coinductive big-step operational semantics (0)

by X Leroy, H Grall
Venue:Inf. Comput