Dal Lago, U., Sangiorgi, D., Alberti, M. (2014). On coinductive equivalences for higher-order probabilistic functional programs [10.1145/2535838.2535872].
On coinductive equivalences for higher-order probabilistic functional programs
DAL LAGO, UGO;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.