Herman Geuvers, Gopalan Nadathur (Eds.): Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice. 2011 EPTCS 71 [ contents ]- Andreas Abel, Nicolai Kraus: A Lambda Term Representation Inspired by Linear Ordered Logic. ... 1-13
- Ranald Clouston: Nominal Logic with Equations Only. ... 44-57
- Murdoch James Gabbay, Dominic P. Mulligan: Nominal Henkin Semantics: simply-typed lambda-calculus models in nominal sets. ... 58-75
- Alan J. Martin, Amy P. Felty: An Improved Implementation and Abstract Interface for Hybrid. ... 76-90
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team