vix.ing · top · new · best · stats · spec

Marco Tzschentke

  1. Grokking the Sequent Calculus (Functional Pearl)
    2024/06/20 by David Binder, David A. Binder, Marco Tzschentke +2 · 2 voices · 1 citation
    Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #Computability, Logic, AI Algorithms