38 citations · 103 across the 14 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
math.LO2019★ 6 cited
Three Equivalent Ordinal Notation Systems in Cubical Agda
Fredrik Nordvall Forsberg, Chuangjie Xu, Neil Ghani
We present three ordinal notation systems representing ordinals below in type theory, using recent type-theoretical innovations such as mutual inductive-inductive d…
cs.SE2019
Catalog of Optimization Strategies and Realizations for Composed Integration Patterns
Daniel Ritter, Fredrik Nordvall Forsberg, Stefanie Rinderle-Ma +1
The discipline of Enterprise Application Integration (EAI) is the centrepiece of current on-premise, cloud and device integration scenarios. However, the building blocks of integra…