Journal article 1619 views 297 downloads
Program extraction applied to monadic parsing
Ulrich Berger 
,
Alison Jones,
Monika Seisenberger
,
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 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| College: |
Faculty of Science and Engineering |
|---|---|
| Start Page: |
exv078 |