The following pages link to (Q4449007):
Displaying 13 items.
- Combining and automating classical and non-classical logics in classical higher-order logics (Q656826) (← links)
- Mechanising \(\lambda\)-calculus using a classical first order theory of terms with permutations (Q853738) (← links)
- On the computational representation of classical logical connectives (Q2864215) (← links)
- Analytic Equational Proof Systems for Combinatory Logic and λ-Calculus:A Survey (Q3305634) (← links)
- (Q3567776) (← links)
- (Q3813790) (← links)
- The Logic of Calculation (Q4133599) (← links)
- (Q4391924) (← links)
- Non deterministic classical logic: the $\lambda\mu^{++}$-calculus (Q4530146) (← links)
- On the Complexity of the Standard Translation of Lambda Calculus into Combinatory Logic (Q4627723) (← links)
- Preface (Q4704758) (← links)
- (Q4856946) (← links)
- (Q5015362) (← links)
