activity
20182024
most citedTopos Semantics for a Higher-Order Temporal Logic of Actions

2 citations · 2 across the 1 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2024

A Nominal Approach to Probabilistic Separation Logic

John M. Li, Jon Aytac, Philip Johnson-Freyd +2

Currently, there is a gap between the tools used by probability theorists and those used in formal reasoning about probabilistic programs. On the one hand, a probability theorist d…