CRIS Current Research Information System

Sangiorgi, D. (2014). Higher-order languages: Bisimulation and coinductive equivalences (extended abstract). Berlino : Springer Verlag [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
Sangiorgi, D. (2014). Higher-order languages: Bisimulation and coinductive equivalences (extended abstract). Berlino : Springer Verlag [10.1007/978-3-662-44124-4_1].
Sangiorgi, Davide
4.01 Contributo in Atti di convegno
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