Found 8 Documents (Results 1–8)
Extracting total Amb programs from proofs. (English) Zbl 1528.68077
Sergey, Ilya (ed.), Programming languages and systems. 31st European symposium on programming, ESOP 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13240, 85-113 (2022).
On the constructive and computational content of abstract mathematics. (English) Zbl 1469.03169
Centrone, Stefania (ed.) et al., Mathesis universalis, computability and proof. Based on the Humboldt-Kolleg “Proof theory as mathesis universalis”, held at the German-Italian Centre for European Excellence, Villa Vigoni, Loveno di Menaggio, Como, Italy, July 24–28, 2017. Cham: Springer. Synth. Libr. 412, 55-73 (2019).
From coinductive proofs to exact real arithmetic. (English) Zbl 1218.03035
Grädel, Erich (ed.) et al., Computer science logic. 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04026-9/pbk). Lecture Notes in Computer Science 5771, 132-146 (2009).
Filter Results by …
Document Type
- Journal Articles (5)
- Collection Articles (3)
all
top 5
Author
- Berger, Ulrich (7)
- Tsuiki, Hideki (2)
- Blanck, Jens (1)
- Hou, Tie (1)
- Køber, Petter Kristian (1)
- Spreen, Dieter (1)