38 citations · 103 across the 14 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.SE2023
Responsible Composition and Optimization of Integration Processes under Correctness Preserving Guarantees
Daniel Ritter, Fredrik Nordvall Forsberg, Stefanie Rinderle-Ma
Enterprise Application Integration deals with the problem of connecting heterogeneous applications, and is the centerpiece of current on-premise, cloud and device integration scena…
cs.LO2023★ 4 cited
Set-Theoretic and Type-Theoretic Ordinals Coincide
Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg +1
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…