On light logics, uniform encodings and polynomial time (Q5482265)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5049764
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.866260826587677
0 references
0.8215686678886414
0 references
0.8160243034362793
0 references
0.811400830745697
0 references
0.7850574851036072
0 references
