Intuitionistic Type Theory
Per Martin-Lof
Euripides V: Bacchae, Iphigenia in Aulis, the Cyclops, Rhesus
Euripides
The Logic of Chemical Synthesis
Corey E.G., Chelg X.
Trading and Exchanges
Larry Harris
Platform
Cynthia Johnson