Versione delle 15:00, 22 giu 2014 modifica Lusum (discussione \| contributi) Utenti autoverificati 25 594 modifiche scorporo da Semantica (informatica) e traduzione da fr:Sémantique des langages de programmation		Versione delle 21:19, 12 set 2014 modifica annulla Intoinside (discussione \| contributi) 369 modifiche m Aggiunta link Differenza successiva →
Riga 17: ==Voci correlate== * [[Gilles Kahn]] * [[Semantica (informatica)]]

Semantica operazionale: differenze tra le versioni