Nominal system T (Q5255070)
From MaRDI portal
scientific article; zbMATH DE number 6445093
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Nominal system T |
scientific article; zbMATH DE number 6445093 |
Statements
Nominal system T (English)
0 references
11 June 2015
0 references
alpha-equivalence
0 references
binders
0 references
recursion
0 references
types
0 references
