Pages that link to "Item:Q808284"

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

Displaying 2 items.

• Defining concurrent processes constructively (Q1314421) (← links)
• \(QPC_ 2\): A constructive calculus with parameterized specifications (Q1322848) (← links)