| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 10118884 | Annals of Pure and Applied Logic | 2005 | 33 Pages |
Abstract
Finally, the methods are extended to an infinitary λ-calculus with Ï-rule and permutative conversions and this is used to derive a strong form of normalization for an iterative version of Gödel's system T, leading to a value table semantics for number-theoretic functions.
Keywords
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Klaus Aehlig, Felix Joachimski,