Proceedings Seventh Workshop on Logical and Semantic Frameworks, with Applications
Logic in Computer Science
2013-03-29 v1 Programming Languages
Abstract
This document contains the proceedings of the Seventh International Workshop on Logical and Semantic Frameworks, with Applications, which was held on September 29 and 30, 2012, in Rio de Janeiro, Brazil. It contains 11 regular papers (9 long and 2 short) accepted for presentation at the meeting, as well as extended abstracts of invited talks by Torben Bra\"uner (Roskilde University, Denmark), Maribel Fern\'andez (King's College London, United Kingdom), Edward Hermann Haeusler (PUC-Rio, Brazil) and Alexandre Miquel (\'Ecole Normale Sup\'erieure de Lyon, France).
Keywords
Cite
@article{arxiv.1303.7136,
title = {Proceedings Seventh Workshop on Logical and Semantic Frameworks, with Applications},
author = {Delia Kesner and Petrucio Viana},
journal= {arXiv preprint arXiv:1303.7136},
year = {2013}
}