Pages that link to "Item:Q808284"

The following pages link to Extraction of redundancy-free programs from constructive natural deduction proofs (Q808284):

Displaying 4 items.

• Defining concurrent processes constructively (Q1314421) (← links)
• \(QPC_ 2\): A constructive calculus with parameterized specifications (Q1322848) (← links)
• Extraction and verification of programs by analysis of formal proofs (Q1823656) (← links)
• First order marked types (Q4647574) (← links)