|
Showing 1 - 1 of
1 matches in All Departments
This book constitutes the thoroughly revised post-workshop
proceedings of the first annual workshop held under the auspices of
the ESPRIT Working Group 21900 TYPES in Aussois, France in December
1996.
The 18 revised full papers presented in the book were carefully
reviewed and selected from the 30 papers accepted for presentation
at the workshop. All current aspects of type theory and type
systems and their applications to program verification and theorem
proving are addressed; the proof systems and theorem provers dealt
with include Coq, LEGO, and Isabelle/HOL.
|
You may like...
Poldark: Series 1-2
Aidan Turner, Eleanor Tomlinson, …
Blu-ray disc
(1)
R55
Discovery Miles 550
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.