Confluence results for the pure strong categorical logic C.C.L. -calculi as sub-systems of C.C.L.
Data and Resources
Additional Info
| Field | Value |
|---|---|
| Source | https://inria.hal.science/inria-00075729 |
| Author | Hardin, Thérèse |
| Maintainer | CCSD |
| Last Updated | June 4, 2026, 02:27 (UTC) |
| Created | June 4, 2026, 02:27 (UTC) |
| Identifier | Report N°: RR-0822 |
| Language | en |
| Rights | https://about.hal.science/hal-authorisation-v1/ |
| contributor | INRIA Rocquencourt ; Institut National de Recherche en Informatique et en Automatique (Inria) |
| creator | Hardin, Thérèse |
| date | 1988-04-04T00:00:00 |
| harvest_object_id | c73238e7-d8bc-461c-9ef6-f3afb08a1246 |
| harvest_source_id | 3374d638-d20b-4672-ba96-a23232d55657 |
| harvest_source_title | test moissonnage SELUNE |
| metadata_modified | 2025-04-02T00:00:00 |
| set_spec | type:REPORT |