On light logics, uniform encodings and polynomial time (Q5482265)
From MaRDI portal
scientific article; zbMATH DE number 5049764
Language | Label | Description | Also known as |
---|---|---|---|
English | On light logics, uniform encodings and polynomial time |
scientific article; zbMATH DE number 5049764 |
Statements
On light logics, uniform encodings and polynomial time (English)
0 references
28 August 2006
0 references
extensional expressive power
0 references
light affine logic
0 references
Curry-Howard correspondence
0 references
second-order quantifiers
0 references
polytime soundness
0 references
polytime completeness
0 references