Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Geometry and Monadology: Leibniz's Analysis Situs and Philosophy ...
Vincenzo de Risi
Theurgy and the Soul: The Neoplatonism of Iamblichus
Gregory Shaw & John Milbank & Aaron Riches
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
High-Precision Relative Clock Synchronization Using Time Stamp ...
Guo-Song Tian, Yu-Chu Tian, Colin Fidge