Journal article
Categorifying Computable Reducibilities
Davide Trotta,
Manlio Valenti 
,
Valeria De Paiva
,
Valeria De Paiva
Logical Methods in Computer Science, Volume: 21, Issue: 1, Pages: 15:1 - 15:36
Swansea University Author:
Manlio Valenti
Full text not available from this repository: check for access using links below.
DOI (Published version): 10.46298/lmcs-21(1:15)2025
Abstract
Categorifying Computable Reducibilities
| Published in: | Logical Methods in Computer Science |
|---|---|
| ISSN: | 1860-5974 1860-5974 |
| Published: |
2026
|
| Online Access: |
Check full text
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa71415 |
| College: |
Faculty of Science and Engineering |
|---|---|
| Issue: |
1 |
| Start Page: |
15:1 |
| End Page: |
15:36 |