EPTCS 81 - LSFA 2011
Simona Ronchi Della Rocca, Elaine Pimentel (Eds.): Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications. 2011 EPTCS 81 [ contents ]- Arnon Avron: A Logical Framework for Set Theories. ... 3-15
- Pablo Buiras, Alejandro Díaz-Caro, Mauro Jaskelioff: Lower Bounds for Scalars in a Typed Algebraic λ-calculus. ... 16-29
- Favio E. Miranda-Perea, Lourdes Del Carmen González-Huesca: Mendler-style Iso-(Co)inductive predicates: a strongly normalizing approach. ... 30-46
- Andréia B. Avelar, André Luiz Galdino, Flávio L. C. de Moura, Mauricio Ayala-Rincón: A Formalization of the Theorem of Existence of First-Order Most General Unifiers. ... 63-78
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