Li, John M.

1. Lilac: A Modal Separation Logic for Conditional Probability
   2023/04/03 by John M. Li, Amal Ahmed, Li, John M. +3 · 3 citations
   Computer Science · #Logic, Reasoning, and Knowledge #Natural Language Processing Techniques #Logic, programming, and type systems
2. A Nominal Approach to Probabilistic Separation Logic
   2024/05/10 by John M. Li, Jon Aytac, Li, John M. +7 · 1 citation
   Computer Science · #Logic, Reasoning, and Knowledge