Pages that link to "Item:Q1891931"
From MaRDI portal
The following pages link to A note on the proof theory of the \(\lambda \Pi\)-calculus (Q1891931):
Displaying 14 items.
- A behavioural theory for a \(\pi\)-calculus with preorders (Q890617) (← links)
- Constructive proofs of the range property in lambda calculus (Q1314345) (← links)
- On the intuitionistic force of classical search (Q1575923) (← links)
- A self-contained provability calculus for \(\varGamma_0\) (Q2303588) (← links)
- On the representation of McCarthy's amb in the \(\pi\)-calculus (Q2847406) (← links)
- A proof-theoretic treatment of <i>λ</i>-reduction with cut-elimination: <i>λ</i>-calculus as a logic programming language (Q3011126) (← links)
- Remarks on Semantic Completeness for Proof-Terms with Laird’s Dual Affine/Intuitionistic λ-Calculus (Q3608816) (← links)
- The basis decision problem in λ‐calculus (Q4304128) (← links)
- (Q4365103) (← links)
- On the intuitionistic force of classical search (Extended abstract) (Q4645244) (← links)
- Formal SOS-Proofs for the Lambda-Calculus (Q5178966) (← links)
- Trustworthy Global Computing (Q5394792) (← links)
- A Formal Correspondence Between OMDoc with Alternative Proofs and the ${\overline{\lambda}\mu\tilde{\mu}}$ -Calculus (Q5756760) (← links)
- Investigations into proof-search in a system of first-order dependent function types (Q6488534) (← links)
