CRUBILLÉ, RAPHAËLLE
CRUBILLÉ, RAPHAËLLE
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.008 secondi).
Metric reasoning about Lambda-Terms: The general case
2017 Crubillé, Raphaelle; Dal Lago, Ugo
Metric reasoning about λ-terms: The affine case
2015 Crubille, Raphaelle; Dal Lago, Ugo
On Applicative Similarity, Sequentiality, and Full Abstraction
2015 Crubillé, Raphaëlle; Dal Lago, Ugo; Sangiorgi, Davide; Vignudelli, Valeria
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 | - |