Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Trading and Exchanges
Larry Harris
Iamblichi Chalcidensis in Platonis Dialogos Commentariorum Fragmenta
John M. Dillon
Types and Programming Languages
Benjamin C. Pierce & Benjamin C. (professor Pierce, University Of Pennsylvania)
Mediated
Thomas de Zengotita