research
∙
04/26/2022
Non-determinsitic algebraic rewriting as adjunction
We develop a general model theoretic semantics to rewriting beyond the u...
research
∙
12/24/2021
Decompositions of Stratified Institutions
The theory of stratified institutions is a general axiomatic approach to...
research
∙
08/26/2019