Normal forms in the typed $\lambda $-calculus with tuple types

Jiří Zlatuška

Displaying similar documents to “Normal forms in the typed $λ$ -calculus with tuple types”

On an inequality of Diananda. III.

Gao, Peng (2006)

International Journal of Mathematics and Mathematical Sciences

Similarity:

A new approach to Ky Fan-type inequalities.

Gao, Peng (2005)

International Journal of Mathematics and Mathematical Sciences

Similarity:

On Chung-Teicher type strong law of large numbers for $ρ^{*}$ -mixing random variables.

Kuczmaszewska, Anna (2008)

Discrete Dynamics in Nature and Society

Similarity:

The ordering of commutative terms

Jaroslav Ježek (2006)

Czechoslovak Mathematical Journal

Similarity:

By a commutative term we mean an element of the free commutative groupoid $F$ of infinite rank. For two commutative terms $a$ , $b$ write $a \leq b$ if $b$ contains a subterm that is a substitution instance of $a$ . With respect to this relation, $F$ is a quasiordered set which becomes an ordered set after the appropriate factorization. We study definability in this ordered set. Among other things, we prove that every commutative term (or its block in the factor) is a definable element. Consequently, the ordered...