Kan Extensions of Institutions
暂无分享,去创建一个
[1] A. Pitts. INTRODUCTION TO HIGHER ORDER CATEGORICAL LOGIC (Cambridge Studies in Advanced Mathematics 7) , 1987 .
[2] Razvan Diaconescu,et al. Cafeobj Report - The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification , 1998, AMAST Series in Computing.
[3] Peter D. Mosses,et al. Unified algebras and institutions , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
[4] Joseph A. Goguen,et al. Institutions: abstract model theory for specification and programming , 1992, JACM.
[5] R. Montague,et al. The Semantic Conception of Truth and the Foundations of Semantics , 1996 .
[6] Andrzej Tarlecki,et al. Quasi-varieties in Abstract Algebraic Institutions , 1986, J. Comput. Syst. Sci..
[7] Joseph A. Goguen,et al. Some Fundamental Algebraic Tools for the Semantics of Computation: Part 3: Indexed Categories , 1991, Theor. Comput. Sci..
[8] José Luiz Fiadeiro,et al. Structuring Theories on Consequence , 1988, ADT.
[9] Andrzej Tarlecki. Structural properties of some categories of institutionsAndrzej , 1996 .
[10] Razvan Diaconescu,et al. Extra Theory Morphisms for Institutions: Logical Semantics for Multi-Paradigm Languages , 1997, Appl. Categorical Struct..
[11] Till Mossakowski. Representations, hierarchies and graphs of institutions , 1996 .
[12] Andrzej Tarlecki,et al. On the Existence of Free Models in Abstract Algebraic Institutuons , 1985, Theor. Comput. Sci..
[13] José Meseguer,et al. May I Borrow Your Logic? (Transporting Logical Structures Along Maps) , 1997, Theor. Comput. Sci..
[14] Donald Sannella,et al. Specifications in an Arbitrary Institution , 1988, Inf. Comput..
[15] Grigore Rosu,et al. Abstract Semantics for Module Composition , 2000 .
[16] S. Lane. Categories for the Working Mathematician , 1971 .
[17] José Luiz Fiadeiro,et al. Unifying Theories in Different Institutions , 1995, COMPASS/ADT.
[18] Joseph A. Goguen,et al. Institutions : abstract model theory for computer science , 1985 .
[19] Egidio Astesiano,et al. Relationships between Logical Frameworks , 1991, COMPASS/ADT.
[20] Joseph A. Goguen,et al. Introducing Institutions , 1983, Logic of Programs.
[21] Andrzej Tarlecki,et al. Free Constructions in Algebraic Institutions , 1984, MFCS.
[22] Grigore Rosu. The Institution of Order-Sorted Equational Logic , 1994, Bull. EATCS.
[23] Donald Sannella,et al. Extended ML: An Institution-Independent Framework for Formal Program Development , 1985, ADT.
[24] Joseph A. Goguen,et al. Types as theories , 1991 .
[25] Andrzej Tarlecki,et al. Bits and Pieces of the Theory of Institutions , 1985, ADT.
[26] Donald Sannella,et al. On Observational Equivalence and Algebraic Specification , 1987, J. Comput. Syst. Sci..
[27] Joseph A. Goguen,et al. A Study in the Functions of Programming Methodology: Specifications, Institutions, Charters and Parchments , 1985, CTCS.
[28] Andrzej Tarlecki. Moving Between Logical Systems , 1995, COMPASS/ADT.