An institutional view on categorical logic and the Curry-Howard-Tait-isomorphism

Cached

Download Links

by Till Mossakowski , Florian Rabe , Valeria De Paiva , Lutz Schröder , Joseph Goguen
Citations:1 - 1 self

Active Bibliography

What is a Logic? In memoriam Joseph Goguen – Till Mossakowski, Joseph Goguen, Andrzej Tarlecki
9 General logics – Till Mossakowski, Joseph Goguen, Răzvan Diaconescu - 1989
Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition - – Martin Gogolla, Zhenyu Qian, Hélène Kirchner, Markus Wolf (Eds.), Maura Cerioli, Maura Cerioli, Universit`a Degli Studi Di Genova, Prof Dr, Bernd Krieg-Brückner, Bernd Krieg-bruckner - 1997
Saturated models in institutions – Răzvan Diaconescu , Marius Petria
Borrowing Interpolation – Răzvan Diaconescu
5 Representations, Hierarchies, and Graphs of Institutions – Till Mossakowski, Gutachter Prof, Dr. Hans-jorg Kreowski, Prof Dr, Andrzej Tarlecki, Amilcar Sernadas, Horst Reichel, Pepe Meseguer, Bernd Krieg-bruckner, Maura Cerioli, Valentin Antimirov - 1996
3 Quasi-Boolean Encodings and Conditionals in Algebraic Specification – Răzvan Diaconescu
7 Observational Logic, Constructor-Based Logic, and their Duality – M. Bidoit, R. Hennicker, A. Kurz, Michel Bidoit, Rolf Hennicker, Alexander Kurz - 2002
On the Algebra of the Structured Specifications – Răzvan Diaconescu
2 Behavioral extensions of institutions – Andrei Popescu - 2005
9 On the Role of Category Theory in the Area of Algebraic Specifications – H. Ehrig, M. Große-Rhode, U. Wolter - 1996
Institutional semantics for many-valued logics – Răzvan Diaconescu
c ○ 2009 Birkhäuser Verlag Basel/Switzerland What is a Logic Translation? In memoriam – Joseph Goguen, Till Mossakowski, Răzvan Diaconescu, Andrzej Tarlecki
3 Tossing Algebraic Flowers down the Great Divide – Joseph Goguen - 1999
5 Category-based Modularisation for Equational Logic Programming – Razvan Diaconescu - 1996
1 Semantics of the Distributed Ontology Language: Institutes and Institutions – Till Mossakowski, Oliver Kutz, Christoph Lange
14 Structured Theories and Institutions – Francisco Durán, José Meseguer - 1999
24 Category-based Semantics for Equational and Constraint Logic Programming – Razvan Diaconescu - 1994
5 CafeOBJ: Logical Foundations and Methodologies – Razvan Diaconescu, Kokichi Futatsugi, Kazuhiro Ogata - 2003