A Modular Hierarchy of Logical Frameworks. / Adams, Robin.

Types for Proofs and Programs. ed. / Stefano Berardi; Mario Coppo; Ferruccio Damiani. Vol. 3085 Springer, 2004. p. 1-16 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published

Standard

A Modular Hierarchy of Logical Frameworks. / Adams, Robin.

Types for Proofs and Programs. ed. / Stefano Berardi; Mario Coppo; Ferruccio Damiani. Vol. 3085 Springer, 2004. p. 1-16 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Adams, R 2004, A Modular Hierarchy of Logical Frameworks. in S Berardi, M Coppo & F Damiani (eds), Types for Proofs and Programs. vol. 3085, Lecture Notes in Computer Science, Springer, pp. 1-16, TYPES 2003, Torino, Italy, 30/04/03. https://doi.org/10.1007/978-3-540-24849-1_1

APA

Adams, R. (2004). A Modular Hierarchy of Logical Frameworks. In S. Berardi, M. Coppo, & F. Damiani (Eds.), Types for Proofs and Programs (Vol. 3085, pp. 1-16). (Lecture Notes in Computer Science). Springer. https://doi.org/10.1007/978-3-540-24849-1_1

Vancouver

Adams R. A Modular Hierarchy of Logical Frameworks. In Berardi S, Coppo M, Damiani F, editors, Types for Proofs and Programs. Vol. 3085. Springer. 2004. p. 1-16. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-540-24849-1_1

Author

Adams, Robin. / A Modular Hierarchy of Logical Frameworks. Types for Proofs and Programs. editor / Stefano Berardi ; Mario Coppo ; Ferruccio Damiani. Vol. 3085 Springer, 2004. pp. 1-16 (Lecture Notes in Computer Science).

BibTeX

@inproceedings{2b842adb4beb4963ad4f2de773c13529,
title = "A Modular Hierarchy of Logical Frameworks",
abstract = "We present a method for defining logical frameworks as a collection of features which are defined and behave independently of one another. Each feature is a set of grammar clauses and rules of deduction such that the result of adding the feature to a framework is a conservative extension of the framework itself. We show how several existing logical frameworks can be so built, and how several much weaker frameworks defined in this manner are adequate for expressing a wide variety of object logics.",
author = "Robin Adams",
year = "2004",
doi = "10.1007/978-3-540-24849-1_1",
language = "English",
isbn = "3-540-22164-6",
volume = "3085",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "1--16",
editor = "Stefano Berardi and Mario Coppo and Ferruccio Damiani",
booktitle = "Types for Proofs and Programs",
note = "TYPES 2003 ; Conference date: 30-04-2003 Through 04-05-2003",

}

RIS

TY - GEN

T1 - A Modular Hierarchy of Logical Frameworks

AU - Adams, Robin

PY - 2004

Y1 - 2004

N2 - We present a method for defining logical frameworks as a collection of features which are defined and behave independently of one another. Each feature is a set of grammar clauses and rules of deduction such that the result of adding the feature to a framework is a conservative extension of the framework itself. We show how several existing logical frameworks can be so built, and how several much weaker frameworks defined in this manner are adequate for expressing a wide variety of object logics.

AB - We present a method for defining logical frameworks as a collection of features which are defined and behave independently of one another. Each feature is a set of grammar clauses and rules of deduction such that the result of adding the feature to a framework is a conservative extension of the framework itself. We show how several existing logical frameworks can be so built, and how several much weaker frameworks defined in this manner are adequate for expressing a wide variety of object logics.

U2 - 10.1007/978-3-540-24849-1_1

DO - 10.1007/978-3-540-24849-1_1

M3 - Conference contribution

SN - 3-540-22164-6

VL - 3085

T3 - Lecture Notes in Computer Science

SP - 1

EP - 16

BT - Types for Proofs and Programs

A2 - Berardi, Stefano

A2 - Coppo, Mario

A2 - Damiani, Ferruccio

PB - Springer

T2 - TYPES 2003

Y2 - 30 April 2003 through 4 May 2003

ER -