Hostname: page-component-78c5997874-dh8gc Total loading time: 0 Render date: 2024-11-13T01:12:19.218Z Has data issue: false hasContentIssue false
  • English
  • Français

Preface – Special Issue on Logical Frameworks and Meta-Languages 2015

Published online by Cambridge University Press:  03 July 2018

ILIANO CERVESATO  and
KAUSTUV CHAUDHURI
ILIANO CERVESATO
Affiliation:
Computer Science Department, Carnegie Mellon University, Pittsburgh, PA, USA Email: [email protected]
KAUSTUV CHAUDHURI
Affiliation:
Inria & LIX/Ecole polytechnique, 1 rue Honoré d'Estienne d'Orves, Palaiseau 91120, France Email: [email protected]
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Logical frameworks and meta-languages form a common substrate for representing, implementing and reasoning about a wide variety of deductive systems of interest in logic and computer science. Their design and implementation and their use in reasoning tasks ranging from the correctness of software to the properties of formal computational systems have been the focus of considerable research over the last two decades.

Type
Editorial Preface
Information
Mathematical Structures in Computer Science , Volume 28 , Special Issue 9: Logical Frameworks and Meta-Languages 2015 , October 2018 , pp. 1506
Copyright
Copyright © Cambridge University Press 2018