Pages that link to "Item:Q1891931"

The following pages link to A note on the proof theory of the \(\lambda \Pi\)-calculus (Q1891931):

Displaying 2 items.

• On the intuitionistic force of classical search (Q1575923) (← links)
• On the intuitionistic force of classical search (Extended abstract) (Q4645244) (← links)