[Diagnosis of gynecologic inflammations (proceedings)].

Eduard Čech, Robert M. Prins
In: ISSN:0956-7968 · 1978 · vol. 43(7) , pp. 533–6 · W2400983534
OA: closed CC0 Metadata only
View on OpenAlex
⚙ AI-generated summary by qwen3.7-flash, 2026-09-01 ⓘ

This paper extends the Barendregt Cube with ¿-conversion to separate the problems of term typability and type determination, which appears unrelated to endometriosis or adenomyosis.

One-sentence paraphrase of the abstract; not a substitute for reading it. No clinical advice. How this works

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