Pages that link to "Item:Q3090883"
From MaRDI portal
The following pages link to Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras (Q3090883):
Displaying 9 items.
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- \textsc{Prawf}: an interactive proof system for program extraction (Q2106598) (← links)
- An algorithmic version of Zariski's lemma (Q2117812) (← links)
- Intuitionistic fixed point logic (Q2220485) (← links)
- Extracting a DPLL Algorithm (Q3178287) (← links)
- Higman’s Lemma and Its Computational Content (Q3305561) (← links)
- On the Constructive and Computational Content of Abstract Mathematics (Q3305627) (← links)
- A realizability interpretation of Church's simple theory of types (Q4593235) (← links)
- Nonflatness and totality (Q4611200) (← links)