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