1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Andreas Bauer, Alexander Nietner
The content of this paper can be roughly organized into a three-level hierarchy of generality. At the first, most general level, we introduce a new language which allows us to expr…