Program Extraction from Nested Definitions

DOI10.1007/978-3-642-39634-2_27zbMath1317.68223OpenAlexW5793364MaRDI QIDQ5327357

Kenji Miyamoto, Helmut Schwichtenberg, Fredrik Nordvall Forsberg

Publication date: 7 August 2013

Published in: Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39634-2_27

Mathematics Subject Classification ID

Related Items (2)

A realizability interpretation of Church's simple theory of types ⋮ Nonflatness and totality

Uses Software

• Haskell
• Minlog

This page was built for publication: Program Extraction from Nested Definitions