Risultati di separazione nei calcoli lambda
| Contribuinte(s) |
Martini, Simone |
|---|---|
| Data(s) |
23/11/2011
|
| Formato |
application/pdf |
| Identificador |
http://amslaurea.unibo.it/2738/1/alberti_michele_risultati_di_separazione_nei_calcoli_lambda.pdf Alberti, Michele (2011) Risultati di separazione nei calcoli lambda. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270] <http://amslaurea.unibo.it/view/cds/CDS8028/> |
| Relação |
http://amslaurea.unibo.it/2738/ |
| Direitos |
info:eu-repo/semantics/restrictedAccess |
| Palavras-Chave | #lambda-calcolo, teoremi di separazione, risorse, espansione di Taylor #scuola :: 843899 :: Scienze #cds :: 8028 :: Informatica [LM-DM270] #indirizzo :: 741 :: Curriculum A: Scienze informatiche #sessione :: seconda |
| Tipo |
PeerReviewed |
