Ian Price - Implicit automata in lambda-calculi III: affine planar string-to-string functions Скачать
JS Lemay - An Ultrametric for Cartesian Differential Categories for Taylor Series Convergence Скачать
Farzad Jafarrahmani - Focused orthogonality as denotations of circular and non-wellfounded proofs Скачать
Yue Niu - Cost-sensitive computational adequacy of higher-order recursion in synthetic domain theory Скачать
Amin Karamlou - No-go Theorems: Polynomial Comonads that do Not Distribute over Distribution Monads Скачать
Mark Lawson - Co-ordinatizing an MV-algebra by a Boolean inverse monoid (in memory of Phil Scott) Скачать
Grégoire Sergeant-Perthuis - Compositional statistical mechanics, entropy and variational inference Скачать