Expressing computational complexity in constructive type theory (Q6064279)
From MaRDI portal
scientific article; zbMATH DE number 7776718
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Expressing computational complexity in constructive type theory |
scientific article; zbMATH DE number 7776718 |
Statements
Expressing computational complexity in constructive type theory (English)
0 references
12 December 2023
0 references
computational complexity
0 references
programming logic
0 references
type theory
0 references
inductive definition
0 references
dependent product
0 references
