Metalogical Frameworks (1992)

by David A. Basin , Robert L. Constable , Im Stadtwald
Citations:56 - 15 self

Active Bibliography

16 Rewriting Logic as a Metalogical Framework – David Basin, Manuel Clavel, José Meseguer - 2000
1 Reflection in Rewriting Logic and its Applications in the Maude Language – Manuel Clavel, José Meseguer - 1997
12 Formal Interoperability – José Meseguer - 1998
216 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
14 Structured theory presentations and logic representations – Robert Harper, Donald Sannella, Andrzej Tarlecki - 1994
19 An Extensible Module Algebra For Maude – Francisco Durán, José Meseguer - 1998
174 Maude: Specification and Programming in Rewriting Logic – M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, J. F. Quesada - 2001
121 Introducing OBJ – Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, Jean-Pierre Jouannaud - 1993
15 Structured Theories and Institutions – Francisco Durán, José Meseguer - 1999
3 Tossing Algebraic Flowers down the Great Divide – Joseph Goguen - 1999
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
10 Pure Type Systems in Rewriting Logic – Mark-Oliver Stehr, José Meseguer - 1999
23 A Category-Theoretic Account of Program Modules – Eugenio Moggi - 1994
7 Partial computations in constructive type theory – Scott F. Smith - 1991
5 The Open Calculus of Constructions: An Equational Type Theory with Dependent Types for Programming, Specification, and Interactive Theorem Proving – Mark-Oliver Stehr
84 ECC, an Extended Calculus of Constructions – Zhaohui Luo - 1989
22 Type-Theoretic Methodology For Practical Programming Languages – Karl Fredrick Crary - 1998
41 Cut-Elimination and a Permutation-Free Sequent Calculus for Intuitionistic Logic – Roy Dyckhoff , Luis Pinto - 1998
1 Strategic Reflection – Patrick Lincoln, José Meseguer - 1998