[Diagnosis of gynecologic inflammations (proceedings)].
article
OA: closed
CC0
Abstract
In this article, we extend the Barendregt Cube with ¿-conversion (which is the analogue of ß-conversion, on product type level) and study its properties. We use this extension to separate the problem of whether a term is typable from the problem of what is the type of a term.
My notes (saved in your browser only)
Citation neighborhood (no data yet)
We don't have any in-corpus citations linked to this paper yet. The paper's references may be in our DB but unresolved to ``paper_id`` (resolution happens at ingest when the cited DOI matches a row we already have). Run the cross-source citation reconcile pass to retry.
Source provenance
- openalex
- last seen: 2026-06-10T17:14:06.276822+00:00
License: CC0
· commercial use OK