Computer Science Logic
Subtitle: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers (Lecture Notes in Computer Science)
Contributors: Leszek Pacholski (Editor); Jerzy Tiuryn (Editor)
Edition: 1 edition
Publisher: Springer
Published: August 25, 1995
Language: eng
Format: Paperback
Number of pages: 543
ISBN-13: 9783540600176
Subjects: Mathematical logic; Mathematical theory of computation; Programming languages; Science/Mathematics; Logic Design; Computer Logic; Mathematical And Symbolic Logic; Mathematics; Computers - General Information; Logic, Symbolic and mathematic; Logic; Machine Theory; Beweistheorie; Category Theory; Kategorientheorie; Lambda Calculus; Lambda-Kalkül; Logic Programming; Logisches Programmieren; Computer Science; Congresses; Logic, Symbolic and mathematical
First sentence: Type systems for current programming languages provide only coarse distinctions amongst data values: Real, Bool, String, etc.