Ambiguity and stratification (Q4189270)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Ambiguity and stratification |
scientific article; zbMATH DE number 3627163
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Ambiguity and stratification |
scientific article; zbMATH DE number 3627163 |
Statements
Ambiguity and stratification (English)
0 references
1978
0 references
Stratification
0 references
Simple Type Theory
0 references
Typical Ambiguity
0 references
New-Foundations
0 references
Proof Theory
0 references
Consistency
0 references
