Compiler correctness and the translation of logics
| Authors |
|
|---|---|
| Publication date | 2007 |
| Series | PP, 2007-11 |
| Number of pages | 10 |
| Publisher | Amsterdam: Institute for Logic, Language and Computation |
| Organisations |
|
| Document type | Working paper |
| Downloads | |
| Permalink to this page | |