## A study in the foundations of programming methodology: specifications, institutions, charters and parchmentsCenter for the Study of Language and Information, Stanford University, 1986 - Mathematics - 26 pages |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Common terms and phrases

2-category 2-cells Abstract Model Theory Andrzej Tarlecki Brian Cantwell Smith Burstall & Goguen Burstall 85 category Q category Sign charters and parchments cocompleteness colimits comma category Computer Science construction data types database define denotes the functor E-homomorphisms E-models E-sentences Env(X equational charter equational institution equational logic extranatural transformation ﬁgg formulation free algebra function functor category functors Mod Gerald Gazdar given gives Goguen & Burstall Goguen & Meseguer Goguen 77 Goguen 80 Goguen and R. M. Horn clause logic initial algebra institution morphism Johan van Benthem Jon Barwise José Meseguer Joseph Goguen Lang(a Language and Information Lecture Notes Lemma Logic Programming logical system Mac Lane 71 Mayoh’s galleries Meseguer 85 model morphisms natural transformation Notes in Computer OBJ2 order logic order-sorted pair of functors programming language proof Sanella & Tarlecki satisfaction condition Section 3.2 sentence morphisms signature morphism sort set Springer-Verlag symbols syntactic signature syntax Technical Report X-room