|
Showing 1 - 4 of
4 matches in All Departments
|
Applied Semantics - International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures (Paperback, 2002 ed.)
Gilles Barthe, Peter Dybjer, Luis Pinto, Joao Saraiva
|
R1,819
Discovery Miles 18 190
|
Ships in 10 - 15 working days
|
This book presents revised and extended versions of lectures given at an international summer school on applied semantics that took place in Caminha, Portugal in September.The nine lectures included present recent developments in programming language research in a coherent and systematic way. Among the topics addressed are - description of existing programming languages features - design of new programming languages features - implementation and analysis of programming languages - transformation and generation of programs - verification of programs.
|
Types for Proofs and Programs - International Workshop, TYPES'99, Loekeberg, Sweden, June 12-16, 1999, Selected Papers (Paperback, 2000 ed.)
Thierry Coquand, Peter Dybjer, Bengt Nordstroem, Jan Smith
|
R1,600
Discovery Miles 16 000
|
Ships in 10 - 15 working days
|
This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop, TYPES'99, organized by the ESPRIT Working Group 21900, in Lökeberg, Sweden, in June 1999.The 11 revised full papers presented in the volume were carefully reviewed and selected during two rounds of refereeing. All current issues on type theory and type systems and their applications to programming and proof theory are addressed.
This book presents a strictly refereed collection of revised full
papers selected from the papers accepted for the TYPES '94
Workshop, held under the auspices of the ESPRIT Basic Research
Action 6453 Types for Proofs and Programs in Bastad, Sweden, in
June 1994.
The 10 papers included address various aspects of developing
computer-assisted proofs and programs using a logical framework.
Type theory and three logical frameworks based on it are dealt
with: ALF, Coq, and LEGO; other topics covered are metatheory, the
Isabelle system, 2-calculus, proof checkers, and ZF set theory.
This book presents the proceedings of the Sixth International
Conference on Category Theory and Computer Science, CTCS '95, held
in Cambridge, UK in August 1995.The 15 revised full papers included
in the volume document the exploitation of links between logic and
category theory leading to a solid basis for much of the
understanding of the semantics of computation. Notable amongst
other advances is the introduction of linear logic and other
substructural logics, providing a new approach to proof theory.
Further aspects covered are semantics of lambda calculi and type
theories, program specification and development, and domain theory.
|
You may like...
Malma Station
Alex Schulman
Paperback
R415
R332
Discovery Miles 3 320
Vuurvoel
Elmarie Viljoen-Massyn
Paperback
R320
R275
Discovery Miles 2 750
|