M.H.B. Sørensen  Home/Search
Context
Related
| diku.dk/research/techrepo...9727.ps.gz diku.dk/research/techrepo...9727.ps.gz diku.dk/diku/semantics/pa...D367.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: diku.dk/research/techrep...blaa97 (more) From: diku.dk/users/skal...bibliography (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: and Higher-Order Rewriting. PhD thesis, Vrije Universiteit Amsterdam, 1994. [95] V. van Oostrom. Take five. IR-406, Vrije Universiteit Amsterdam, 1996. [96] V. van Oostrom. Finite family developments. In H. Comon, editor, Rewriting Techniques and Applications, volume 1232 of Lecture Notes in Computer Science, pages 308--322. Springer-Verlag, 1997. [97] V. van Oostrom and F. van Raamsdonk. Comparing combinatory reduction systems and higher-order rewrite systems. In J. Heering, K. Meinke, B.... (Update)
Similar documents (at the sentence level):
29.4%: Perpetual Reductions in λ-Calculus - van Raamsdonk, Severi.. (1999) (Correct)
18.2%: Weak Normalization Implies Strong Normalization in.. - Barthe, Hatcliff.. (1997) (Correct)
13.0%: Strong Normalization from Weak Normalization in Typed.. - Sørensen (1997) (Correct)
Active bibliography (related documents): More All
0.3: Perpetuality and Uniform Normalization in Orthogonal.. - Khasidashvili, Ogawa, al. (Correct)
0.3: Generalized λ-Calculi (Abstract) - Xi (Correct)
0.2: On the Longest Perpetual Reductions in Orthogonal Expression.. - Khasidashvili (2000) (Correct)
Similar documents based on text: More All
0.2: Descendants and Origins in Term Rewriting - Bethke, Klop, de Vrijer (1999) (Correct)
0.1: Moscow ML Owner's Manual - Version Of June (Correct)
0.1: Godelisation in the Untyped Lambda Calculus - Mogensen (1999) (Correct)
BibTeX entry: (Update)
@misc{ rensen-normalization,
author = "M.H.B. Sørensen",
title = "Normalization in λ-Calculus and Type Theory",
url = "citeseer.ist.psu.edu/66038.html" }
Citations (may not include all citations):17 Surjective Pairing and Strong Normalization: Two Themes in L.. (context) - de Vrijer - 1987
15 Exactly estimating functionals and strong normalization (context) - de Vrijer - 1987
10 An induction measure on -terms and its applications (context) - Xi - 1996
9 evaluation styles and types systems (context) - Werner - 1992
9 Weak and strong beta normalisations in typed -calculi (context) - Xi - 1997
6 Department of Mathematical Sciences (context) - Xi, strong et al. - 1996
3 Separating developments - Xi - 1996
2 An earlier version appeared in the Proceedings of the 5th Ku.. (context) - Xi, for et al. - 1997
Documents on the same site (http://www.diku.dk/research/techreports/blaa97.html): More
Experiments With the Auction Algorithm for the Shortest Path.. - Larsen, Pedersen (1997) (Correct)
Local Analysis of Scale Space - Johansen (1996) (Correct)
Scale-Space has been discovered in Japan - Weickert, al. (1997) (Correct)
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