La Universidad de Göteborg te da este PDF Gratis de Programación en la Teoría de Tipos de Martin-Löf
El siguiente libro gratuito está dirigido para todas aquellas personas interesadas en aprender sobre la teoría de tipos de Martin-Löf.
Martin-Löf
El siguiente libro gratuito está dirigido para todas aquellas personas interesadas en aprender sobre la teoría de tipos de Martin-Löf.