Mario Román
Search
Search
Dark mode
Light mode
Explorer
Home
❯
notes
❯
references
Folder: notes/references
19 items under this folder.
May 08, 2025
A Coinductive Calculus of Streams (Rutten, 2005)
May 08, 2025
Coherence for Distributivity (Laplaza, 1971)
May 02, 2025
Categorical Quantum Mechanics (Abramsky, Coecke)
May 02, 2025
Duoidal Structures for Compositional Dependence (Shapiro, Spivak, 2022)
May 02, 2025
On the Simply-Typed Functional Machine Calculus, Categorical Semantics and Strong Normalisation (Barret, PhD Thesis)
May 02, 2025
An Introduction to the Theory of Coalgebras (Pattinson)
May 02, 2025
Grading monads, comonads, distributive laws (Uustalu)
May 02, 2025
Graphical Language with Delayed Trace (Carette, de Visme, Perdrix, 2021)
May 02, 2025
Linear Logic Without Units (Houston, 2007)
May 02, 2025
Locally Accessible and Presentable Categories (Adamek, Rosicky, 1994)
May 02, 2025
Models of Programming Languages (Melliès)
May 02, 2025
Newcomb's Problem and Two Principles of Choice (Nozick 1969)
May 02, 2025
On Partial Languages (Grabowski, 1981)
May 02, 2025
Premonoidal Categories and a Graphical View of Programs (Jeffrey, 1997)
May 02, 2025
Probabilistic Programming Interfaces for Random Graphs (Ackermann, Freer, Kaddar, Karwowski, Roy, Staton, Yang, 2024)
May 02, 2025
The 2-Chu-Dialectica Construction and the Polycategory of Multivariable Adjunctions (Shulman, 2020)
May 02, 2025
The Structure of Concurrent Process Histories (Nester, 2020)
May 02, 2025
Universal Algebra and Effectful Computation (Rajesh, 2023)
May 02, 2025
Weakly Distributive Categories (Cockett, Seely, 1997)