http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers
Workshop on Computer Science Logic 1994 : Kazimierz Dolny, Poland)
1 online resource (ix, 541 pages) : illustrations
Subtyping with Singleton Types / David Aspinall -- A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects / Viviana Bono and Luigi Liquori -- The Girard Translation Extended with Recursion / Torben Brauner -- Decidability of Higher-Order Subtyping with Intersection Types / Adriana B. Compagnoni -- A [lambda]-calculus Structure Isomorphic to Gentzen-style Sequent Calculus Structure / Hugo Herbelin -- Usability: Formalising (un)definedness in Typed Lambda Calculus / Jan Kuper -- Lambda Representation of Operations Between Different Term Algebras / Marek Zaionc -- Semi-Unification and Generalizations of a Particularly Simple Form / Matthias Baaz and Gernot Salzer -- A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models / Nick Benton -- Cut Free Formalization of Logic with Finitely Many Variables. Part I / Lev Gordeev -- How to Lie without Being (easily) Convicted and the Lengths of Proofs in Propositional Calculus / Pavel Pudlak and Samuel R. Buss.
Includes bibliographical references (page 541) and index.
Workshop on Computer Science Logic (8th : 1994 : Kazimierz Dolny, Poland).
Berlin ; New York : Springer-Verlag, ©1995