Strong normalization in some temporal substructural logics

By Kamide Norihiro  

Journal of Logic and Computation, Vol. 23, Iss. 1, 2013-02 ,pp. : 1-24

Oxford University Press

Access to resources Recommend Favorite

Explicit substitution On the edge of strong normalization

By Bloo R.   Geuvers H.  

Theoretical Computer Science, Vol. 211, Iss. 1, 1999-01 ,pp. : 375-395

Elsevier

Access to resources Recommend Favorite

Strong Normalization from Weak Normalization by Translation into the Lambda-I-Calculus

By Gørtz I.L.  

LISP and Symbolic Computation, Vol. 16, Iss. 3, 2003-09 ,pp. : 253-285

Springer Publishing Company

Access to resources Recommend Favorite

Weak normalization implies strong normalization in a class of non-dependent pure type systems

By Barthe G.   Hatcliff J.   Sorensen M.H.  

Theoretical Computer Science, Vol. 269, Iss. 1, 2001-10 ,pp. : 317-361

Elsevier

Access to resources Recommend Favorite

Scene Normalization Mechanisms in Humans

By McCann John J.  

Color and Imaging Conference, Vol. 1994, Iss. 1, 1994-01 ,pp. : 5-8

Society for Imaging Science and Technology

Access to resources Recommend Favorite