| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 424175 | Electronic Notes in Theoretical Computer Science | 2007 | 14 Pages |
Abstract
A model characterising strong normalisation for Klop's extension of λ-calculus is presented. The main technical tools for this result are an inductive definition of strongly normalising terms of Klop's calculus and an intersection type system for terms of Klop's calculus.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
