Aspects of the computational content of proofs

Authors:
Judith Lynne Underwood
Affiliations:
Cornell Univ., Ithaca, NY
Venue:
Aspects of the computational content of proofs
Year:
1994

Citing 0
Cited 2

A Curry-Howard foundation for functional computation with control

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Intuitionistic Tableau Extracted

TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract