受强制性开放获取政策约束的文章 - Alex Simpson了解详情
无法在其他位置公开访问的文章：1 篇
Cyclic arithmetic is equivalent to peano arithmetic
A Simpson
International Conference on Foundations of Software Science and Computation …, 2017
强制性开放获取政策： US Department of Defense
可在其他位置公开访问的文章：9 篇
The enriched effect calculus: syntax and semantics
J Egger, R Ejlers, A Simpson
Journal of Logic and Computation 24 (3), 615-654, 2014
强制性开放获取政策： Danish Council for Technology and Innovation, UK Engineering and Physical …
Behavioural equivalence via modalities for algebraic effects
A Simpson, N Voorneveld
ACM Transactions on Programming Languages and Systems (TOPLAS) 42 (1), 1-45, 2019
强制性开放获取政策： US Department of Defense, Slovenian Research Agency, European Commission
Relating first-order set theories, toposes and categories of classes
S Awodey, C Butz, A Simpson, T Streicher
Annals of Pure and Applied Logic 165 (2), 428-502, 2014
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Category-theoretic structure for independence and conditional independence
A Simpson
Electronic Notes in Theoretical Computer Science 336, 281-297, 2018
强制性开放获取政策： US Department of Defense, Slovenian Research Agency
Łukasiewicz μ-calculus
M Mio, A Simpson
Fundamenta Informaticae 150 (3-4), 317-346, 2017
强制性开放获取政策： US Department of Defense, European Commission
Probability sheaves and the Giry monad
A Simpson
7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017), 2017
强制性开放获取政策： US Department of Defense, Slovenian Research Agency
Comprehensive parametric polymorphism: Categorical models and type theory
N Ghani, F Nordvall Forsberg, A Simpson
Foundations of Software Science and Computation Structures: 19th …, 2016
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Linear-use CPS translations in the enriched effect calculus
J Egger, RE Møgelberg, A Simpson
Logical Methods in Computer Science 8, 2012
强制性开放获取政策： Danish Council for Technology and Innovation
Dependent choice in Johnstone’s topological topos
M Shulman, A Simpson
强制性开放获取政策： Slovenian Research Agency
出版信息和资助信息由计算机程序自动确定