Lightweight Proof by Reflection Using a Posteriori Simulation of Effectful Computation (Q5327337)
From MaRDI portal
scientific article; zbMATH DE number 6196157
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Lightweight Proof by Reflection Using a Posteriori Simulation of Effectful Computation |
scientific article; zbMATH DE number 6196157 |
Statements
Lightweight Proof by Reflection Using a Posteriori Simulation of Effectful Computation (English)
0 references
7 August 2013
0 references
