Towards Meta-Reasoning in the Concurrent Logical Framework CLF

The concurrent logical framework CLF is an extension of the logical framework LF designed to specify concurrent and distributed languages. While it can be used to define a variety of formalisms, reasoning about such languages within CLF has proved elusive. In this paper, we propose an extension of L...

Full description

Bibliographic Details
Main Authors: Iliano Cervesato, Jorge Luis Sacchini
Format: Article
Language:English
Published: Open Publishing Association 2013-07-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1307.7440v1