Finitary Semantics of Linear Logic and Higher-Order Model-Checking (Q2946341)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Finitary Semantics of Linear Logic and Higher-Order Model-Checking |
scientific article |
Statements
Finitary Semantics of Linear Logic and Higher-Order Model-Checking (English)
0 references
16 September 2015
0 references
higher-order model checking
0 references
linear logic
0 references
selection problem
0 references
finitary semantics
0 references
parity games
0 references
0 references
