Sciweavers

CSL
2002
Springer

On Continuous Normalization

14 years 3 days ago
On Continuous Normalization
Abstract. Building on previous work by Mints, Buchholz and Schwichtenberg, a simplified version of continuous normalization for the untyped -calculus and G
Klaus Aehlig, Felix Joachimski
Added 18 Dec 2010
Updated 18 Dec 2010
Type Journal
Year 2002
Where CSL
Authors Klaus Aehlig, Felix Joachimski
Comments (0)