Minlog – A Tool for Program Extraction Supporting Algebras and Coalgebras Ulrich Berger1 , Kenji Miyamoto2∗ , Helmut Schwichtenberg2 , and Monika Seisenberger1 2 ∗ - MINLOG - Document - PDFSEARCH.IO

First Page	Meta Content
	Minlog – A Tool for Program Extraction Supporting Algebras and Coalgebras Ulrich Berger1 , Kenji Miyamoto2∗ , Helmut Schwichtenberg2 , and Monika Seisenberger1 2 ∗ Add to Reading List Document Date: 2011-09-24 06:38:03 Open Document File Size: 226,73 KB Share Result on Facebook Facility Wales Ludwig Maximilian University / Swansea University / / Organization Swansea University / Wales Ludwig Maximilian University / / Person Minlog / / Position Translator / input Proof Assistant / Proof Assistant / / SocialTag Formal languages Theoretical computer science

Minlog – A Tool for Program Extraction Supporting Algebras and Coalgebras Ulrich Berger1 , Kenji Miyamoto2∗ , Helmut Schwichtenberg2 , and Monika Seisenberger1 2 ∗Add to Reading List