Hets - the Heterogeneous Tool Set

Copyright(c) Otto-von-Guericke University of Magdeburg
LicenseGPLv2 or higher, see LICENSE.txt
Safe HaskellSafe

Modifications

Description

The Modifications folder contains experimental work on institution comorphism modifications, see Razvan Diaconescu: Institution-independent Model Theory, Birkhäuser, 2008.