Semantica operazionale: strumenti e applicazioni. Linguaggi imperativi e funzionali

Semantica operazionale: strumenti e applicazioni. Linguaggi imperativi e funzionali