Sinopse... Teoria com Tipos Móveis é um livro de livros, uma bíblia inteiramente deuterocanónica: um livro sobre a poesia de Vasco Graça Moura , um livro sobre a obra de Clarice Lispector, um livro de descrição do campo poético português de 1970 a 1990, um livro intitulado Portugal pelas Retretes , um livro cujo tema é As Humanidades na Universidade , um livro sobre Cesário Verde e, finalmente, um outro sobre Sá de Miranda.