Induktive Definitionen in Minlog Christoph-Simon Senjak ミンログ：すみません

Source URL: uxul.de

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

Source URL: www.math.lmu.de

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

Source URL: calco2011.ecs.soton.ac.uk

• Formal languages
• Theoretical computer science

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

Source URL: www-compsci.swan.ac.uk

• Mathematical constructivism
• Type theory
• Proof theory
• Logic in computer science
• Metalogic
• Realizability
• Agda
• Curry–Howard correspondence
• MINLOG
• Logic
• Mathematical logic
• Mathematics