Principal type-schemes of BCI-lambda-terms (Q5096242)
From MaRDI portal
scientific article; zbMATH DE number 7572022
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Principal type-schemes of BCI-lambda-terms |
scientific article; zbMATH DE number 7572022 |
Statements
Principal type-schemes of BCI-lambda-terms (English)
0 references
16 August 2022
0 references
