Klaus Aehlig and Felix Joachimski. Operational aspects of normalization by evaluation. Submitted to MSCS. Available from http://www.mathematik.uni-muenchen.de/joachski, 2001. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Syntactic Analysis of eta-Expansions - In Pure Type Self-citation (Joachimski) (Correct)
No context found.
Klaus Aehlig and Felix Joachimski. Operational aspects of normalization by evaluation. Submitted to MSCS. Available from http://www. mathematik.uni-muenchen.de/~joachski, 2001.
Short Proofs of Normalization for the simply-typed.. - Joachimski, Matthes (2002) Self-citation (Joachimski) (Correct)
....hypothesis. So we only have to deal with the new case of a head reduction x:sx s in part ( of the proof when showing that x:sx follows from sx , but clearly s , since the set fr j r g = WF of strongly normalizing terms is closed under subterms. It has been shown elsewhere [AJ01] that strong normalization (and con uence) of combined reduction and expansion follows from the same property of reduction alone. As a consequence SN also exactly characterizes the set of strongly normalizing terms with respect to (de ned loc. cit. 3.6. The SN method [Mat98] ....
Klaus Aehlig and Felix Joachimski. Operational aspects of normalization by evaluation. Submitted, 2001.
Optimizing Generic Functions - Artem Alimarine And (2004) (Correct)
No context found.
Klaus Aehlig and Felix Joachimski. Operational aspects of normalization by evaluation. Submitted to MSCS. Available from http://www.mathematik.uni-muenchen.de/joachski, 2001.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC