research
∙
01/25/2023
Set-Theoretic and Type-Theoretic Ordinals Coincide
In constructive set theory, an ordinal is a hereditarily transitive set....
share
research
∙
08/07/2022
Type-Theoretic Approaches to Ordinals
In a constructive setting, no concrete formulation of ordinal numbers ca...
research
∙
05/14/2021
Translating Extensive Form Games to Open Games with Agency
We show open games cover extensive form games with both perfect and impe...
research
∙
04/06/2021
Connecting Constructive Notions of Ordinals in Homotopy Type Theory
In classical set theory, there are many equivalent ways to introduce ord...
research
∙
01/26/2021
Compositional Game Theory, Compositionally
We present a new compositional approach to compositional game theory (CG...
research
∙
09/15/2020
Compositional Game Theory with Mixed Strategies: Probabilistic Open Games Using a Distributive Law
We extend the open games framework for compositional game theory to enco...
research
∙
06/18/2019
The Mathematical Specification of the Statebox Language
This document defines the mathematical backbone of the Statebox programm...
research
∙
01/04/2019
Catalog of Optimization Strategies and Realizations for Composed Integration Patterns
The discipline of Enterprise Application Integration (EAI) is the centre...
research
∙
11/21/2017
