Dot-types and Their Implementation (Q4981261)
From MaRDI portal
scientific article; zbMATH DE number 6307749
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Dot-types and Their Implementation |
scientific article; zbMATH DE number 6307749 |
Statements
Dot-types and Their Implementation (English)
0 references
24 June 2014
0 references
dot-types
0 references
coercive subtyping
0 references
type-theoretical semantics
0 references
type theory
0 references
proof assistant
0 references
