scientific article; zbMATH DE number 2185727
From MaRDI portal
Publication:3024920
Recommendations
- Strong normalization from weak normalization in typed \(\lambda\)-calculi
- Strong normalization from weak normalization by translation into the lambda-I-calculus
- Proving strong normalisation via non-deterministic translations into Klop's extended lambda-calculus
- Short Proofs of Strong Normalization
- Big-step normalisation
Cited in
(10)- Strong normalizability of typed lambda-calculi for substructural logics
- Perpetual reductions in -calculus
- Strong normalization from weak normalization in typed \(\lambda\)-calculi
- Perpetuality and uniform normalization in orthogonal rewrite systems
- scientific article; zbMATH DE number 1696607 (Why is no real title available?)
- Normalization by Evaluation for Typed Weak lambda-Reduction
- Strong Normalisation of Cut-Elimination That Simulates β-Reduction
- On the longest perpetual reductions in orthogonal expression reduction systems
- Mechanized subject expansion in uniform intersection types for perpetual reductions
- Resource operators for \(\lambda\)-calculus
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 Q3024920)
