39 citations · 146 across the 23 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LO2020
Universal Semantics for the Stochastic Lambda-Calculus
Pedro Amorim, Dexter Kozen, Radu Mardare +2
We define sound and adequate denotational and operational semantics for the stochastic lambda calculus. These two semantic approaches build on previous work that used similar techn…
cs.FL2020
Minimisation in Logical Form
Nick Bezhanishvili, Marcello Bonsangue, Helle Hvid Hansen +4
Stone-type dualities provide a powerful mathematical framework for studying properties of logical systems. They have recently been fruitfully explored in understanding minimisation…