5 views
Simons Institute
Promise Algebra: a Functional Approach to Non-Deterministic Computations
Login with Google Login with Discord