Computer science logic : 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers /
Computer science logic : 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers /
Leszek Pacholski, Jerzy Tiuryn, eds.
- Berlin ; New York : Springer-Verlag, ©1995.
- 1 online resource (ix, 541 pages) : illustrations
- Lecture notes in computer science ; 933 .
- Lecture notes in computer science ; 933. .
Includes bibliographical references (page 541) and index.
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.
Use copy
This volume contains revised refereed versions of the best papers presented during the CSL '94 conference, held in Kazimierz, Poland in September 1994; CSL '94 is the eighth event in the series of workshops held for the third time as the Annual Conference of the European Association for Computer Science Logic. The 38 papers presented were selected from a total of 151 submissions. All important aspects of the methods of mathematical logic in computer science are addressed: lambda calculus, proof theory, finite model theory, logic programming, semantics, category theory, and other logical systems. Together, these papers give a representative snapshot of the area of logical foundations of computer science.
Electronic reproduction.
[Place of publication not identified] :
HathiTrust Digital Library,
2010.
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
http://purl.oclc.org/DLF/benchrepro0212
9783540494041 3540494049
95023973
Computer science--Congresses.
Logic, Symbolic and mathematical--Congresses.
Informatique--Congrès.
Logique symbolique et mathématique--Congrès.
Computer science
Logic, Symbolic and mathematical
Fundamentele informatica.
Logica.
Programmeertalen.
Ciencia da computacao ou informatica.
Computer logic--Congresses.
Logic, Symbolic and mathematical--Congresses.
Logic programming--Congresses.
Logique symbolique et mathématique--Congrès.
Informatique--Congrès.
Conference papers and proceedings
Congressen (vorm)
QA75.5 / .W624 1994
004/.01/5113
Includes bibliographical references (page 541) and index.
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.
Use copy
This volume contains revised refereed versions of the best papers presented during the CSL '94 conference, held in Kazimierz, Poland in September 1994; CSL '94 is the eighth event in the series of workshops held for the third time as the Annual Conference of the European Association for Computer Science Logic. The 38 papers presented were selected from a total of 151 submissions. All important aspects of the methods of mathematical logic in computer science are addressed: lambda calculus, proof theory, finite model theory, logic programming, semantics, category theory, and other logical systems. Together, these papers give a representative snapshot of the area of logical foundations of computer science.
Electronic reproduction.
[Place of publication not identified] :
HathiTrust Digital Library,
2010.
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
http://purl.oclc.org/DLF/benchrepro0212
9783540494041 3540494049
95023973
Computer science--Congresses.
Logic, Symbolic and mathematical--Congresses.
Informatique--Congrès.
Logique symbolique et mathématique--Congrès.
Computer science
Logic, Symbolic and mathematical
Fundamentele informatica.
Logica.
Programmeertalen.
Ciencia da computacao ou informatica.
Computer logic--Congresses.
Logic, Symbolic and mathematical--Congresses.
Logic programming--Congresses.
Logique symbolique et mathématique--Congrès.
Informatique--Congrès.
Conference papers and proceedings
Congressen (vorm)
QA75.5 / .W624 1994
004/.01/5113