scientific article; zbMATH DE number 806614
From MaRDI portal
Publication:4850465
Recommendations
Cited in
(19)- A syntactic proof of the conservativity of \(\lambda_\omega\) over \(\lambda_2\)
- Fundamental theorems of extensional untyped -calculus revisited
- Normalization without reducibility
- Parametric parameter passing \(\lambda\)-calculus
- Statman's 1-section theorem
- Functional pearl: the distributive \(\lambda\)-calculus
- New proofs of important theorems of untyped extensional \(\lambda\) calculus
- A lambda proof of the P-W theorem
- The mechanisation of Barendregt-style equational proofs (the residual perspective)
- scientific article; zbMATH DE number 992007 (Why is no real title available?)
- A direct proof of the finite developments theorem
- scientific article; zbMATH DE number 23772 (Why is no real title available?)
- Some properties of the \(\lambda\mu^{\wedge\vee}\)-calculus
- Church meets Cook and Levin
- [Russian Text Ignored]
- Parallel reductions in \(\lambda\)-calculus
- ``Upon this quote I will build my Church thesis
- A direct proof of the confluence of combinatory strong reduction
- Analytic proof systems for -calculus: the elimination of transitivity, and why it matters
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4850465)
