Fractals Unleashed (Popularity: )

Contains applications, lots of Java applets and CGI programs, gallery, and a art contest. Download ...
Category: Science\Math\Chaos and Fractals

On the Formulae-as-Types Correspondence for Classical Logic (Popularity: )

Doctoral thesis of Charles Stewart, which investigates foundational aspects of the application of the formulae-as-types ...
Category: Science\Math\Logic and Foundations\Computational Logic