Search results
From MaRDI portal
- Publication Date of Publication Type Program extraction from classical proofs 2023-12-12 Paper Computational Aspects of Bishop’s Constructive Mathematics...10 bytes (17 words) - 17:43, 9 December 2023
- 2012-12-17 Paper Term extraction and Ramsey's theorem for pairs 2012-09-19 Paper NON-PRINCIPAL ULTRAFILTERS, PROGRAM EXTRACTION AND HIGHER-ORDER REVERSE...10 bytes (18 words) - 14:39, 28 January 2024
- Gray-code Computation 2020-04-03 Paper Program extraction in exact real arithmetic 2016-07-27 Paper Program Extraction from Nested Definitions 2013-08-07 Paper...10 bytes (16 words) - 17:39, 6 October 2023
- 2020-04-03 Paper Program extraction applied to monadic parsing 2019-07-29 Paper The greatest common divisor: A case study for program extraction from classical...10 bytes (16 words) - 00:36, 25 September 2023
- \textsc{Prawf}: an interactive proof system for program extraction 2022-12-16 Paper Optimized program extraction for induction and coinduction 2018-09-06 Paper...10 bytes (16 words) - 18:27, 24 September 2023
- Infinitary Lambda Calculus 2011-05-27 Paper An Operational Approach to Program Extraction in the Calculus of Constructions 2011-03-04 Paper Recursive Domain...10 bytes (18 words) - 12:30, 9 December 2023
- and Resolution 2015-03-11 Paper Proofs, programs, processes 2012-12-07 Paper Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras 2011-09-02...10 bytes (16 words) - 03:35, 25 September 2023
- Publication Date of Publication Type Program extraction applied to monadic parsing 2019-07-29 Paper...10 bytes (16 words) - 22:28, 27 December 2023
- Date of Publication Type Proofs and programs: A naïve approach to program extraction 1989-01-01 Paper Hierarchical program specification and verification -...10 bytes (16 words) - 18:05, 6 October 2023
- https://portal.mardi4nfdi.de/entity/Q4649560 2012-11-22 Paper Controlling Program Extraction in Light Logics 2011-06-17 Paper Realizability and Parametricity in...10 bytes (16 words) - 00:44, 25 September 2023
- 2013-10-07 Paper Extraction in Coq: An Overview 2008-06-19 Paper Programming Languages and Systems 2007-09-28 Paper Program extraction from normalization...10 bytes (16 words) - 11:33, 24 September 2023
- https://portal.mardi4nfdi.de/entity/Q2871866 2014-01-10 Paper Light Dialectica Program Extraction from a Classical Fibonacci Proof 2013-12-06 Paper Light Dialectica...10 bytes (18 words) - 07:39, 7 October 2023
- its Application to TLS Network Packet Processing 2019-09-18 Paper Program extraction for mutable arrays 2018-07-09 Paper...10 bytes (16 words) - 18:37, 24 September 2023
- types 2023-12-08 Paper Singleton, union and intersection types for program extraction 2022-08-16 Paper Games with 1-backtracking 2011-08-26 Paper https://portal...10 bytes (16 words) - 11:03, 6 October 2023
- and Negative Translation for Existential Witness Extraction 2009-07-07 Paper Classical Program Extraction in the Calculus of Constructions 2009-03-05 Paper...10 bytes (16 words) - 09:43, 25 September 2023
- Types for Proofs and Programs 2006-11-13 Paper Program extraction from normalization proofs 2006-03-17 Paper Types for Proofs and Programs 2005-12-23 Paper...10 bytes (16 words) - 11:33, 24 September 2023
- 2002-07-22 Paper Studies of a theory of specifications with built-in program extraction 2002-01-07 Paper...10 bytes (16 words) - 10:06, 25 September 2023
- 2014-06-24 Paper Positive Inductive-Recursive Definitions 2013-09-13 Paper Program Extraction from Nested Definitions 2013-08-07 Paper A Categorical Semantics for...10 bytes (18 words) - 20:33, 6 October 2023
- -terms 1997-06-03 Paper A symmetric lambda calculus for classical program extraction 1997-01-05 Paper Proof-irrelevance out of excluded-middle and choice...10 bytes (16 words) - 06:01, 7 October 2023
- Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction 2014-09-08 Paper Program Calculation in Coq 2011-01-21 Paper Computational Science...10 bytes (17 words) - 03:23, 9 December 2023
