Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
The Oxygen Advantage: The Simple, Scientifically Proven Breathing ...
Patrick McKeown
The Courage to Be Disliked: The Japanese Phenomenon That Shows ...
Ichiro Kishimi & Fumitake Koga
Orpheus and the Roots of Platonism
Algis Uždavinys
High-Precision Relative Clock Synchronization Using Time Stamp ...
Guo-Song Tian, Yu-Chu Tian, Colin Fidge