Sciweavers

63
Voted
CSL
2002
Springer
14 years 9 months 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