Negating Negation: Against the Apophatic Abandonment of the ...
Timothy D. Knepper
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Stand on Zanzibar
John Brunner
Intuitionistic Type Theory
Per Martin-Lof
The Count of Monte Cristo, Illustrated
Alexandre Dumas