Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Institution-independent ultraproducts
Fundamenta Informaticae
Very abstract specifications: a formalism independent approach
Mathematical Structures in Computer Science
Herbrand theorems in arbitrary institutions
Information Processing Letters
Ultraproducts and possible worlds semantics in institutions
Theoretical Computer Science
Type class polymorphism in an institutional framework
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Institution-independent Ultraproducts
Fundamenta Informaticae
Răzvan Diaconescu, Institution-independent Model Theory
Studia Logica
Hi-index | 0.00 |