All Stories

  1. Contextual Equivalence in a Probabilistic Call-by-Need Lambda-Calculus

    Article • September 2022, ACM (Association for Computing Machinery)

    David Sabel