Chad Nester
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Combinatory completeness instructured multicategories | 2026-06-23 | Paper |
| Cornering Optics Electronic Proceedings in Theoretical Computer Science | 2024-03-05 | Paper |
| Situated transition systems (available as arXiv preprint) | 2024-02-13 | Paper |
| Situated transition systems | 2024-02-13 | Paper |
| Protocol choice and iteration for the free cornering Journal of Logical and Algebraic Methods in Programming | 2024-02-12 | Paper |
| A variety theorem for relational universal algebra (available as arXiv preprint) | 2023-03-30 | Paper |
| Concurrent Process Histories and Resource Transducers Logical Methods in Computer Science | 2023-03-22 | Paper |
| A Variety Theorem for Relational Universal Algebra (available as arXiv preprint) | 2021-05-11 | Paper |
| Functorial Semantics for Partial Theories | 2020-11-12 | Paper |
| A Foundation for Ledger Structures | 2020-10-16 | Paper |
| System F in Agda, for fun and profit | 2020-05-05 | Paper |
| Unraveling recursion: compiling an IR with recursion to System F | 2020-05-05 | Paper |
Research outcomes over time
This page was built for person: Chad Nester
