Assistant to the Proof Assistant

Tagged “presentation”

  1. Differential Semantics
  2. Faster JavaScript through Category Theory

See all tags.