Abstract We study the eigenvalue problem for a superlinear convolution operator in special case of bilinear constitutive laws and establish existence uniqueness one-parameter family nonlinear eigenfunctions under topological shape constraint. Our proof uses change scalar parameters applies Krein–Rutman arguments to linear substitute problem. also present numerical simulations discuss asymptotic...

Uniqueness typing and affine (or linear) typing are dual type systems. Uniqueness gives a guarantee that an term has not been shared, while affinity imposes a restriction that a term may not be shared. We show that we can unify both concepts through polymorphism.

We present two systems for rst-order typing of graph expressions, in natural deduction style: conventional typing and (polymorphic) uniqueness typing. In both type systems, typing is preserved during evaluation, and types can be determined eeectively.