Journal article 2056 views 441 downloads
Program extraction applied to monadic parsing
Ulrich Berger,
Alison Jones,
Monika Seisenberger 
Journal of Logic and Computation, Start page: exv078
Swansea University Authors:
Ulrich Berger, Monika Seisenberger
-
PDF | Author's Original
Download (382.24KB)
DOI (Published version): 10.1093/logcom/exv078
Abstract
Program extraction applied to monadic parsing
| Published in: | Journal of Logic and Computation |
|---|---|
| ISSN: | 0955-792X 1465-363X |
| Published: |
2015
|
| Online Access: |
Check full text
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa25075 |
| College: |
Faculty of Science and Engineering |
|---|---|
| Start Page: |
exv078 |