scientific article; zbMATH DE number 3827823
From MaRDI portal
Publication:3674616
zbMATH Open0523.03009MaRDI QIDQ3674616FDOQ3674616
Authors: J. A. Bergstra, Jan Willem Klop 
Publication date: 1982
Title of this publication is not available (Why is that?)
Cited In (7)
- Conservation and uniform normalization in lambda calculi with erasing reductions
- Perpetuality and uniform normalization in orthogonal rewrite systems
- Effective longest and infinite reduction paths in untyped λ-calculi
- Perpetual reductions in \(\lambda\)-calculus
- On the longest perpetual reductions in orthogonal expression reduction systems
- Strong normalization from weak normalization in typed \(\lambda\)-calculi
- Semantical analysis of perpetual strategies in \(\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 Q3674616)
