Sequent calculus, chapter 5 of Girard's book.

21.04.2010

15.04.2010

The Normalization Theorem, Chapter 4 of Girard's book.

14.04.2010

A solution for the three-colour hat guessing problem for cycles

08.04.2010

Curry Howard Isomorphism. Chapter 3 of Girard's book.

07.04.2010

Preemptive online scheduling: optimal algorithms for all speeds

07.04.2010

Geometry of solution space of random SAT

25.03.2010

Fixed point theory for programs

24.03.2010

Algorithmic version of the Lovász Local Lemma

24.03.2010

The Lovasz Local Lemma - satisfaction guaranteed

18.03.2010