Journal article 1496 views 296 downloads
Indexed induction–recursion
Peter Dybjer,
Anton Setzer 
The Journal of Logic and Algebraic Programming, Volume: 66, Issue: 1, Start page: 1
Swansea University Author:
Anton Setzer
-
PDF | Accepted Manuscript
Download (224.71KB)
DOI (Published version): 10.1016/j.jlap.2005.07.001
Abstract
Indexed induction–recursion
| Published in: | The Journal of Logic and Algebraic Programming |
|---|---|
| ISSN: | 1567-8326 |
| Published: |
2006
|
| Online Access: |
Check full text
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa1732 |
| College: |
Faculty of Science and Engineering |
|---|---|
| Issue: |
1 |
| Start Page: |
1 |