Zobrazeno 1 - 10
of 33
pro vyhledávání: '"Forsberg, Fredrik Nordvall"'
Enterprise Application Integration deals with the problem of connecting heterogeneous applications, and is the centerpiece of current on-premise, cloud and device integration scenarios. For integration scenarios, structurally correct composition of p
Externí odkaz:
http://arxiv.org/abs/2305.19196
Publikováno v:
38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2023
In constructive set theory, an ordinal is a hereditarily transitive set. In homotopy type theory (HoTT), an ordinal is a type with a transitive, wellfounded, and extensional binary relation. We show that the two definitions are equivalent if we use (
Externí odkaz:
http://arxiv.org/abs/2301.10696
Publikováno v:
Theoretical Computer Science, volume 957, issn 0304-3975, 2023
In a constructive setting, no concrete formulation of ordinal numbers can simultaneously have all the properties one might be interested in; for example, being able to calculate limits of sequences is constructively incompatible with deciding extensi
Externí odkaz:
http://arxiv.org/abs/2208.03844
Publikováno v:
EPTCS 372, 2022, pp. 221-234
We show open games cover extensive form games with both perfect and imperfect information. Doing so forces us to address two current weaknesses in open games: the lack of a notion of player and their agency within open games, and the lack of choice o
Externí odkaz:
http://arxiv.org/abs/2105.06763
Publikováno v:
Mathematical Foundations of Computer Science (MFCS) 2021, p. 70:1-70:16
In classical set theory, there are many equivalent ways to introduce ordinals. In a constructive setting, however, the different notions split apart, with different advantages and disadvantages for each. We consider three different notions of ordinal
Externí odkaz:
http://arxiv.org/abs/2104.02549
Autor:
Atkey, Robert, Gavranović, Bruno, Ghani, Neil, Kupke, Clemens, Ledent, Jérémy, Forsberg, Fredrik Nordvall
Publikováno v:
EPTCS 333, 2021, pp. 198-214
We present a new compositional approach to compositional game theory (CGT) based upon Arrows, a concept originally from functional programming, closely related to Tambara modules, and operators to build new Arrows from old. We model equilibria as a b
Externí odkaz:
http://arxiv.org/abs/2101.12045
Publikováno v:
EPTCS 323, 2020, pp. 95-105
We extend the open games framework for compositional game theory to encompass also mixed strategies, making essential use of the discrete probability distribution monad. We show that the resulting games form a symmetric monoidal category, which can b
Externí odkaz:
http://arxiv.org/abs/2009.06831
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
We present three ordinal notation systems representing ordinals below $\varepsilon_0$ in type theory, using recent type-theoretical innovations such as mutual inductive-inductive definitions and higher inductive types. We show how ordinal arithmetic
Externí odkaz:
http://arxiv.org/abs/1904.10759
The discipline of Enterprise Application Integration (EAI) is the centrepiece of current on-premise, cloud and device integration scenarios. However, the building blocks of integration scenarios, i.e., essentially a composition of Enterprise Integrat
Externí odkaz:
http://arxiv.org/abs/1901.01005