Chad Nester

According to our database, Chad Nester authored at least 16 papers between 2019 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2026

A Simple Categorical Calculus of Interacting Processes.

Chad Nester, Niels F. W. Voorneveld

CoRR, March, 2026

Monoidal categories graded by partial commutative monoids.

Matthew Earnshaw, Chad Nester, Mario Román

CoRR, March, 2026

Resourceful Traces for Commuting Processes.

Matthew Earnshaw, Chad Nester, Mario Román

Proceedings of the 34th EACSL Annual Conference on Computer Science Logic, 2026

Combinatory Completeness inStructured Multicategories.

Ivan Kuzmin, Chad Nester, Ülo Reimaa, Sam Speight

Proceedings of the Relational and Algebraic Methods in Computer Science, 2026

2025

Combinatory Completeness in Structured Multicategories.

Ivan Kuzmin, Chad Nester, Ülo Reimaa, Sam Speight

CoRR, November, 2025

Elgot Categories and Abacus Programs.

Chad Nester

CoRR, March, 2025

2024

Protocol choice and iteration for the free cornering.

Chad Nester, Niels F. W. Voorneveld

J. Log. Algebraic Methods Program., February, 2024

2023

Concurrent Process Histories and Resource Transducers.

Chad Nester

Log. Methods Comput. Sci., 2023

2022

Cornering Optics.

Guillaume Boisseau, Chad Nester, Mario Román

Proceedings of the Proceedings Fifth International Conference on Applied Category Theory, 2022

2021

Functorial semantics for partial theories.

Ivan Di Liberti, Fosco Loregiàn, Chad Nester, Pawel Sobocinski

Proc. ACM Program. Lang., 2021

Situated Transition Sytems.

Chad Nester

Proceedings of the Fourth International Conference on Applied Category Theory, 2021

The Structure of Concurrent Process Histories.

Chad Nester

Proceedings of the Coordination Models and Languages, 2021

A Variety Theorem for Relational Universal Algebra.

Chad Nester

Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

2020

A Foundation for Ledger Structures.

Chad Nester

Proceedings of the 2nd International Conference on Blockchain Economics, 2020

2019

Unraveling Recursion: Compiling an IR with Recursion to System F.

Michael Peyton Jones, Vasilis Gkoumas, Roman Kireev, Kenneth MacKenzie, Chad Nester, Philip Wadler

Proceedings of the Mathematics of Program Construction - 13th International Conference, 2019

System F in Agda, for Fun and Profit.

James Chapman, Roman Kireev, Chad Nester, Philip Wadler

Proceedings of the Mathematics of Program Construction - 13th International Conference, 2019