CiteSeer.IST Home   Check: The following citations are predicted to all refer to the same paper.   Details

G. Barthe, J. Hatcliff, and M.H. Sørensen. Weak Normalization implies Strong Normalization in Generalized Non-Dependent Pure Type Systems. Submitted for publication, March 1997.

G. Barthe, J. Hatcliff, and M.H. Sørensen. Weak Normalization implies Strong Normalization in Generalized Non-Dependent Pure Type Systems. Submitted for publication, March 1997.

G. Barthe, J. Hatcliff, and M.H. Sørensen. Weak Normalization implies Strong Normalization in Generalized Non-Dependent Pure Type Systems. Manuscript, 1997.

G. Barthe, J. Hatcliff, and M.H. Sørensen. Weak Normalization implies Strong Normalization in Generalized Non-Dependent Pure Type Systems. Draft, 1997.

G. Barthe, J. Hatcliff, and M.H. Srensen. Weak Normalization implies Strong Normalization in Generalized Non-Dependent Pure Type Systems. Draft, 1997.

G. Barthe, J. Hatclioe, and M.H. S#rensen. Weak Normalization implies Strong Normalization in Generalized Non-Dependent Pure Type Systems. Theoretical Computer Science, 200x. Accepted for publication. 46

G. Barthe, J. Hatclioe, and M.H. S#rensen. Weak Normalization implies Strong Normalization in Generalized Non-Dependent Pure Type Systems. Submitted for publication, March 1997.

G. Barthe, J. Hatcli, M. H. B. Srensen, Weak normalization implies strong normalization in generalized non-dependent pure type systems, Theoret. Comput. Sci. .

CiteSeer.IST - Copyright Penn State and NEC