Full Abstraction for Resource Calculus with Tests
Data and Resources
Additional Info
| Field | Value |
|---|---|
| Source | Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL |
| Author | Ehrhard, Thomas, Bucciarelli, Antonio, Carraro, Alberto, Manzonetto, Giulio |
| Maintainer | CCSD |
| Last Updated | May 15, 2026, 18:45 (UTC) |
| Created | May 15, 2026, 18:45 (UTC) |
| Identifier | hal-00707814 |
| Language | en |
| contributor | Preuves, Programmes et Systèmes (PPS) ; Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS) |
| coverage | Bergen, Norway |
| creator | Ehrhard, Thomas |
| date | 2011-09-12T00:00:00 |
| harvest_object_id | a11d5132-1c2a-41e6-b084-fd6b5cd9b5c9 |
| harvest_source_id | 3374d638-d20b-4672-ba96-a23232d55657 |
| harvest_source_title | test moissonnage SELUNE |
| metadata_modified | 2026-04-01T00:00:00 |
| relation | info:eu-repo/semantics/altIdentifier/doi/10.4230/LIPIcs.CSL.2011.97 |
| set_spec | type:COMM |