2 citations · 4 across the 3 of their papers we have counts for
3 papers
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…
Topos Semantics for a Higher-Order Temporal Logic of Actions
Philip Johnson-Freyd, Jon Aytac, Geoffrey Hulette
TLA is a popular temporal logic for writing stuttering-invariant specifications of digital systems. However, TLA lacks higher-order features useful for specifying modern software w…
First Class Call Stacks: Exploring Head Reduction
Philip Johnson-Freyd, Paul Downen, Zena M. Ariola
Weak-head normalization is inconsistent with functional extensionality in the call-by-name -calculus. We explore this problem from a new angle via the conflict between extension…