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

2014
12th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2014
3
9
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].
Sangiorgi, Davide
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/520477
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact