Resultados da busca - Matache, Cristina

Recursion and Sequentiality in Categories of Sheaves por Matache, Cristina, Moss, Sean, Staton, Sam

Obter o texto integral
Obter o texto integral

Concrete categories and higher-order recursion (With applications including probability, differentiability, and full abstraction) por Matache, Cristina, Moss, Sean, Staton, Sam

Obter o texto integral
Obter o texto integral

Denotational semantics for languages for inference: semirings, monads, and tensors por Matache, Cristina, Moss, Sean, Staton, Sam, Suo, Ariadne Si

Obter o texto integral
Obter o texto integral

Finitary Semantics for Full Ground Local State por van Rooij, Orpheas, Kammar, Ohad, Lindley, Sam, Matache, Cristina

Obter o texto integral
Obter o texto integral

An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories por Kammar, Ohad, Liell-Cock, Jack, Lindley, Sam, Matache, Cristina, Staton, Sam

Obter o texto integral
Obter o texto integral

Scoped Effects as Parameterized Algebraic Theories por Matache, Cristina, Lindley, Sam, Moss, Sean, Staton, Sam, Wu, Nicolas, Yang, Zhixuan

Obter o texto integral
Obter o texto integral