Resolution in type theory (Q5638281)
From MaRDI portal
scientific article; zbMATH DE number 3365216
Language | Label | Description | Also known as |
---|---|---|---|
English | Resolution in type theory |
scientific article; zbMATH DE number 3365216 |
Statements
Resolution in type theory (English)
0 references
1971
0 references