Proof Theory at Work: Program Development in the Minlog System-Reference-Cited by-同舟云学术

Proof Theory at Work: Program Development in the Minlog System

Published:1998 Issue: Volume: Page:41-71
ISSN:1386-2790
Container-title:Applied Logic Series
language:
Short-container-title:

Author:

Benl ,Berger ,Schwichtenberg ,Seisenberger ,Zuber

Publisher

Springer Netherlands

Link

http://link.springer.com/content/pdf/10.1007/978-94-017-0435-9_2.pdf

Reference17 articles.

1. Berger, U.: 1993a, `Program Extraction from Classical Proofs’. In: D. Leivant (ed.): Logic and Computational Complexity, LCC ‘84, Vol. 960 of Lecture Notes in Computer Science. pp. 77–97, Springer Verlag, Berlin, Heidelberg, New York.

2. Berger, U.: 1993b, `Program Extraction from Classical Proofs’. In: D. Leivant (ed.): Logic and Computational Complexity, LCC ‘84, Vol. 960 of Lecture Notes in Computer Science. pp. 91–117

3. Berger, U., M. Eberl, and H. Schwichtenberg: 1998, `Normalization by evaluation’. Submitted to: B. Möller and J.V. Tucker (eds.): Prospects for hardware foundations. NADA volume, Lecture Notes in Computer Science.

4. Berger, U. and H. Schwichtenberg: 1991, `An inverse of the evaluation functional for typed A-calculus’. In: R. Vemuri (ed.): Proceedings of the Sixth Annual IEEE Symposium on Logic in Computer Science. pp. 203–211, IEEE Computer Society Press, Los Alamitos.

5. Berger, U. and H. Schwichtenberg: 1995, `Program Extraction from Classical Proofs’. In: D. Leivant (ed.): Logic and Computational Complexity, LCC ‘84, Vol. 960 of Lecture Notes in Computer Science. pp. 77–97, Springer Verlag, Berlin, Heidelberg, New York.

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Programs from Proofs;ACM Transactions on Programming Languages and Systems;2017-05-29

2. Formal Systems, Logics, and Programs;Raymond Smullyan on Self Reference;2017

3. Proofs, Programs, Processes;Theory of Computing Systems;2011-04-14

4. Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras;Algebra and Coalgebra in Computer Science;2011

5. Proofs, Programs, Processes;Programs, Proofs, Processes;2010