Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras
From MaRDI portal
Publication:3090883
DOI10.1007/978-3-642-22944-2_29zbMath1344.68201OpenAlexW74548528MaRDI QIDQ3090883
Kenji Miyamoto, Monika Seisenberger, Ulrich Berger, Helmut Schwichtenberg
Publication date: 2 September 2011
Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-22944-2_29
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (11)
Extracting a DPLL Algorithm ⋮ A realizability interpretation of Church's simple theory of types ⋮ Extracting total Amb programs from proofs ⋮ Nonflatness and totality ⋮ Unnamed Item ⋮ Intuitionistic fixed point logic ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 ⋮ Higman’s Lemma and Its Computational Content ⋮ On the Constructive and Computational Content of Abstract Mathematics ⋮ \textsc{Prawf}: an interactive proof system for program extraction ⋮ An algorithmic version of Zariski's lemma
Uses Software
This page was built for publication: Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras
