System *F* in Agda, for Fun and ProfitJ Chapman, R Kireev, C Nester, P Wadler International Conference on Mathematics of Program Construction, 255-297, 2019 | 30 | 2019 |

Unraveling recursion: compiling an IR with recursion to System F M Peyton Jones, V Gkoumas, R Kireev, K MacKenzie, C Nester, P Wadler International Conference on Mathematics of Program Construction, 414-443, 2019 | 15 | 2019 |

Functorial semantics for partial theories I Di Liberti, F Loregian, C Nester, P Sobociński Proceedings of the ACM on Programming Languages 5 (POPL), 1-28, 2021 | 13 | 2021 |

The structure of concurrent process histories C Nester Coordination Models and Languages: 23rd IFIP WG 6.1 International Conference …, 2021 | 10 | 2021 |

Cornering optics G Boisseau, C Nester, M Román arXiv preprint arXiv:2205.00842, 2022 | 7 | 2022 |

Turing categories and realizability C Nester University of Calgary, 2017 | 7 | 2017 |

A foundation for ledger structures C Nester arXiv preprint arXiv:2010.08337, 2020 | 6 | 2020 |

Concurrent process histories and resource transducers C Nester Logical Methods in Computer Science 19, 2023 | 5 | 2023 |

Situated transition systems C Nester arXiv preprint arXiv:2105.04355, 2021 | 4 | 2021 |

Protocol choice and iteration for the free cornering C Nester, N Voorneveld Journal of Logical and Algebraic Methods in Programming 137, 100942, 2024 | 2 | 2024 |

Partial and Relational Algebraic Theories C Nester Tallinn University of Technology, 2024 | | 2024 |

Presentations of Premonoidal Categories by Devices M Earnshaw, C Nester, M Román | | 2023 |

A Variety Theorem for Relational Universal Algebra C Nester Relational and Algebraic Methods in Computer Science: 19th International …, 2021 | | 2021 |

Unraveling Recursion: Compiling an IR with Recursion to System F K MacKenzie, C Nester, P Wadler Mathematics of Program Construction: 13th International Conference, MPC 2019 …, 2019 | | 2019 |

Polar Interleavings for Deadlock-Free Message-Passing M Earnshaw, C Nester, M Román | | |

Iterated Processes with Finite Interaction Type C Nester | | |