Syntax: x; y; z : Var (Internal Names or Variables) Q : Nam (External Names) e : Exp (Expressions) e ::= x j (set! x e) j (e e) j (resolve1 x Q e) j (qs-lambda ((y1 z1) (ym zm)) ((x1 Q1) (xk Qk)) (x) e) Semantic Domains: l : Loc (Locations) : Env = Var ! Loc (Environments) : Inh = Var ! Var (Inheritors) ! : Lnk = Var ! Nam (Links) : Sto = Loc ! Val (Stores) c : Cod = Val ! Env ! Sto ! (Val Sto)...

In this work we establish a local existence and a blow up result for a multidimensional nonlinear system of thermoelasticity with second sound.

We study the one-dimensional asymmetric simple exclusion process on lattice $\{1, \dots,N\}$ with creation/annihilation at boundaries. The boundary rates are time dependent and change a slow scale $N^{-a}$ $a>0$. prove that $N^{1+a}$ system evolves quasi-statically macroscopic density profile given by entropy solution of stationary Burgers equation densities changing in time, determined corresp...