Uniquely closable skeletons of lambda terms are Motzkin-trees that predetermine the unique closed lambda term that can be obtained by labeling their leaves with de Bruijn indices. Likewise, uniquely typable skeletons of closed lambda terms predetermine the unique simply-typed lambda term that can be obtained by labeling their leaves with de Bruijn indices. We derive, through a sequence of logic...

For positive integers and , consider a multiset of nonempty subsets such that there is unique partition these into partitions . We study the maximum possible size multiset. focus on regime show When for any this lower bound simplifies to we matching upper optimal up factor also compute exactly when

Eccentric coloring is a new variation of coloring, where higher numbered colors can not be used as freely as lower numbered colors. In addition there is a correspondence between the eccentricity (max distance) of a vertex and the highest legal color for that vertex. In this note we investigate eccentric coloring of trees. We give the eccentric chromatic number or a bound on the eccentric chroma...

A set $Wsubset V (G)$ is called a resolving set, if for every two distinct vertices $u, v in V (G)$ there exists $win W$ such that $d(u,w) not = d(v,w)$, where $d(x, y)$ is the distance between the vertices $x$ and $y$. A resolving set for $G$ with minimum cardinality is called a metric basis. A graph with a unique metric basis is called a uniquely dimensional graph. In this paper, we establish...

A mixed hypergraph consists of two families of edges: the C-edges and D-edges. In a coloring every C-edge has at least two vertices of the same color, while every D-edge has at least two vertices colored differently. The largest and smallest possible numbers of colors in a coloring are termed the upper and lower chromatic number, χ̄ and χ, respectively. A mixed hypergraph is called uniquely colo...