sergei-winitzki documents

"That scripting language called Prolog"
Science "That scripting language called Prolog"
Temporal logic and functional reactive programming
Science Temporal logic and functional reactive programming
Introduction to join calculus
Science Introduction to join calculus
Elm talk bayhac2015
Engineering Elm talk bayhac2015
Linear Algebra via Exterior Products
Documents Linear Algebra via Exterior Products