|
Showing 1 - 2 of
2 matches in All Departments
|
Computer Science Logic - 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers (Paperback, 1997 ed.)
Dirk Van Dalen, Marc Bezem
|
R1,802
Discovery Miles 18 020
|
Ships in 10 - 15 working days
|
This book constitutes the strictly refereed post-workshop
proceedings of the 10th International Workshop on Computer Science
Logic, CSL'96, held as the 5th Annual Conference of the European
Association of Computer Science Logic (EACSL), in Utrecht, The
Netherlands, in September 1996.
The volume presents 26 revised full papers selected from a total of
initially 75 papers submitted; also included are two refereed
invited contributions. The volume addresses all current issues in
the area of computer science logic research, and is thus a unique
record of recent progress in the area.
The lambda calculus was developed in the 1930s by Alonzo Church.
The calculus turned out to be an interesting model of computation
and became theprototype for untyped functional programming
languages. Operational and denotational semantics for the calculus
served as examples for otherprogramming languages. In typed lambda
calculi, lambda terms are classified according to their applicative
behavior. In the 1960s it was discovered that the types of typed
lambda calculi are in fact appearances of logical propositions.
Thus there are two possible views of typed lambda calculi: - as
models of computation, where terms are viewed as programs in a
typed programming language; - as logical theories, where the types
are viewed as propositions and the terms as proofs. The practical
spin-off from these studies are: - functional programming languages
which are mathematically more succinct than imperative programs; -
systems for automated proof checking based on lambda caluli. This
volume is the proceedings of TLCA '93, the first international
conference on Typed Lambda Calculi and Applications, organized by
the Department of Philosophy of Utrecht University. It includes29
papers selected from 51 submissions.
|
|