How does one deduce small step operational semantics? (2 Solutions!!)

preview_player
Показать описание
How does one deduce small step operational semantics?

Рекомендации по теме