CRUBILLÉ, RAPHAËLLE

CRUBILLÉ, RAPHAËLLE  

Mostra records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.008 secondi).
Titolo Autore(i) Anno Periodico Editore Tipo File
Metric reasoning about Lambda-Terms: The general case Crubillé, Raphaelle; Dal Lago, Ugo 2017-01-01 LECTURE NOTES IN COMPUTER SCIENCE Springer Verlag 4.01 Contributo in Atti di convegno -
Metric reasoning about λ-terms: The affine case Crubille, Raphaelle; Dal Lago, Ugo 2015-01-01 - Institute of Electrical and Electronics Engineers Inc. 4.01 Contributo in Atti di convegno -
On Applicative Similarity, Sequentiality, and Full Abstraction Crubillé, Raphaëlle; Dal Lago, Ugo; Sangiorgi, Davide; Vignudelli, Valeria 2015-01-01 - Meyer, Roland; Platzer, André; Wehrheim, Heike 2.01 Capitolo / saggio in libro -