No label defined (Q4663833)
From MaRDI portal
scientific article; zbMATH DE number 2152231
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 2152231 |
Statements
4 April 2005
0 references
ambiguity of syntactic expressions
0 references
typical ambiguity
0 references
simple type theory
0 references
extension of Zermelo-Fraenkel set theory
0 references
theory of categories
0 references
