8 citations · 8 across the 2 of their papers we have counts for
2 papers
cs.LO2024
Polynomial Lawvere Logic
Giorgio Bacci, Radu Mardare, Prakash Panangaden +1
We study Polynomial Lawvere logic PL, a logic defined over the Lawvere quantale of extended positive reals with sum as tensor, to which we add multiplication, thereby obtaining a s…
cs.PL2010★ 8 cited
A Model of Cooperative Threads
Martín Abadi, Gordon D. Plotkin
We develop a model of concurrent imperative programming with threads. We focus on a small imperative language with cooperative threads which execute without interruption until they…