- Course / Module
- Semantica Denotazionale (SD2012)
- Academic Year
- 2012/2013
- Topic
- Sintassi (essenziale) dei Linguaggi di Programmazione
- Description
- cenni di calcolabilita
cenni di lambda calcolo
connessione con i linguaggi di programmazione
pcf
semantica operazionale - Published by
- Luca Luigi Paolini
- Accessible
- To everyone
- Attachment
- Attachment (0.3 MB)