No label defined (Q4214829)
From MaRDI portal
scientific article; zbMATH DE number 1217494
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 1217494 |
Statements
2 November 1998
0 references
Constructive type theory
0 references
Proceedings
0 references
Conference
0 references
Venice (Italy)
0 references