Types for Proofs and Programs: LIPIcs Proceedings 19th International Conference TYPES 2013, April 22–26, 2013, Toulouse, France | DealShopping Deutschland