Richiedi una copia del documento: Par means parallel: multiplicative linear logic proofs as concurrent functional programs

Captcha code
Annulla