talk · community record
You Didn't Know It, but You Really Want to Learn Sequent Calculus
Talk on sequent calculus for programmers, published on the Typelevel channel 2020-04-18; slides at arosien.github.io/sequentish.
01
Connections
1 relationship
Talk on sequent calculus for programmers, published on the Typelevel channel 2020-04-18; slides at arosien.github.io/sequentish.
1 relationship