Higher-order languages: Bisimulation and coinductive equivalences (extended abstract) / Sangiorgi, Davide. - STAMPA. - 8446:(2014), pp. 3-9. (Intervento presentato al convegno 12th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2014 tenutosi a Grenoble, fra nel 2014) [10.1007/978-3-662-44124-4_1].
Higher-order languages: Bisimulation and coinductive equivalences (extended abstract)
SANGIORGI, DAVIDE
2014
File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.