LFMTP 2011

6th International Workshop on

Logical Frameworks and Meta-languages:

Theory and Practice

Nijmegen, The Netherlands - August 27 26, 2011

 
 

The following papers have been (provisionally) accepted for presentation at the workshop on August 27 26, 2011:


  1. 1. Andreas Abel and Nicolai Kraus, A Lambda Term Representation Based on Linear Ordered Logic.


  1. 2. Maxime Beauquier and Carsten Schuermann, A Bigraph Relational Model.


  1. 3. Mathieu Boespflug and Brigitte Pientka, Multi-level Contextual Type Theory.


  1. 4. Ranald Clouston, Nominal Logic with Equations Only.


  1. 5. Murdoch Gabbay and Dominic Mulligan, Nominal semantics of simply-typed lambda-calculus.


  1. 6. Alan J. Martin and Amy Felty, An Improved Implementation and Abstract Interface for    Hybrid.

Accepted Papers