Proof interpretations with truth (Q3066291)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Proof interpretations with truth |
scientific article |
Statements
Proof interpretations with truth (English)
0 references
10 January 2011
0 references
modified realizability with truth
0 references
q-modified realizability
0 references
intuitionistic linear logic
0 references
Aczel slash
0 references
Kleene slash
0 references
functional interpretation
0 references