Karl Crary, Marino Miculan (Eds.): Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice. 2010 EPTCS 34 [ contents ]- John Tang Boyland: Generating Bijections between HOAS and the Natural Numbers. ... 21-35
- Maribel Fernández, Murdoch James Gabbay: Closed nominal rewriting and efficiently computable nominal algebra equality. ... 37-51
- Herman Geuvers, Robbert Krebbers, James McKinna, Freek Wiedijk: Pure Type Systems without Explicit Contexts. ... 53-67
- Florian Rabe: Representing Isabelle in LF. ... 85-99
- Anders Schack-Nielsen, Carsten Schürmann: Pattern Unification for the Lambda Calculus with Linear and Affine Types. ... 101-116
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