Mechanizing metatheory without typing contexts (Q2352491)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Mechanizing metatheory without typing contexts |
scientific article |
Statements
Mechanizing metatheory without typing contexts (English)
0 references
2 July 2015
0 references
typing context
0 references
\textsc{ {PoplMark}}
0 references
System \(\mathrm{F}_{<:}\)
0 references
