Programming up to Congruence (Extended version) Vilhelm Sj¨oberg Stephanie Weirich University of Pennsylvania, Philadelphia, PA, USA

First Page		Document Content
Date: 2015-09-06 06:15:42		Programming up to Congruence (Extended version) Vilhelm Sj¨oberg Stephanie Weirich University of Pennsylvania, Philadelphia, PA, USA Add to Reading List Source URL: www.seas.upenn.edu Download Document from Source Website File Size: 557,43 KB Share Document on Facebook