Metalogical Frameworks (1992)

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

Active Bibliography

16 Rewriting Logic as a Metalogical Framework – David Basin, Manuel Clavel, José Meseguer - 2000
13 Formal Interoperability – José Meseguer - 1998
1 Reflection in Rewriting Logic and its Applications in the Maude Language – Manuel Clavel, José Meseguer - 1997
217 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
14 Structured theory presentations and logic representations – Robert Harper, Donald Sannella, Andrzej Tarlecki - 1994
A Representation of Fω in LF – Carsten Schürmann, Dachuan Yu, Zhaozhong Ni
120 Introducing OBJ – Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, Jean-Pierre Jouannaud - 1993
19 An Extensible Module Algebra For Maude – Francisco Durán, José Meseguer - 1998
170 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
3 Tossing Algebraic Flowers down the Great Divide – Joseph Goguen - 1999
14 Structured Theories and Institutions – Francisco Durán, José Meseguer - 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
5 Implementing Tile Systems: Some Examples From Process Calculi – R. Bruni, J. Meseguer - 1998