Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras Ulrich Berger1 , Kenji Miyamoto?2 , Helmut Schwichtenberg2 , and Monika Seisenberger1 1 2 - Miyamoto - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2011-05-23 12:16:42		Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras Ulrich Berger1 , Kenji Miyamoto?2 , Helmut Schwichtenberg2 , and Monika Seisenberger1 1 2 Add to Reading List Source URL: www.math.lmu.de Download Document from Source Website File Size: 153,59 KB Share Document on Facebook