A dependent type theory with abstractable names (Q530845): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68N18 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 03B15 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68Q55 / rank | |||
Normal rank | |||
| Property / zbMATH DE Number | |||
| Property / zbMATH DE Number: 6608302 / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
binding | |||
| Property / zbMATH Keywords: binding / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
dependent types | |||
| Property / zbMATH Keywords: dependent types / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
names | |||
| Property / zbMATH Keywords: names / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
nominal sets | |||
| Property / zbMATH Keywords: nominal sets / rank | |||
Normal rank | |||
Revision as of 07:48, 1 July 2023
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A dependent type theory with abstractable names |
scientific article |
Statements
A dependent type theory with abstractable names (English)
0 references
1 August 2016
0 references
binding
0 references
dependent types
0 references
names
0 references
nominal sets
0 references
