In 2007, Harmer, Hyland and Melliès gave a formal mathematical foundation for game semantics using a notion they called a {multimap}-schedule, and the similar notion of ⊗-schedule, both structures describing interleavings of...
In this paper we initiate the study of second-order variational problems in L ∞, seeking to minimise the L ∞ norm of a function of the hessian.We also derive and study the respective PDE arising as the...
|< |
< |
1 |