Operational semantics in a natural deduction setting

• 26 September 1991
• book chapter
• Published by Cambridge University Press (CUP)
• p. 185-214
• https://doi.org/10.1017/cbo9780511569807.009

Abstract