Papers
Grits: A message-passing programming language based on the semi-axiomatic sequent calculus francalanza-2026-gritsSCP · 2026
Implementing a Message-Passing Interpretation of the Semi-Axiomatic Sequent Calculus (Sax) francalanza-2024-implementingCoordination Models and Languages · 2024
adrianfrancalanza person entries/rolodex/adrianfrancalanza.hel