| Copyright | (c) Otto-von-Guericke University of Magdeburg |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Safe Haskell | Safe |
Modifications
Description
The Modifications folder contains experimental work on institution comorphism modifications, see Razvan Diaconescu: Institution-independent Model Theory, Birkhäuser, 2008.