Types for Proofs and Programs

Options

• Formats: pdf
• ISBN: 9783540445579
• Publication Date: 31 Jul 2003
• Publisher: Springer Berlin Heidelberg
• Product language: English
• Drm Setting: DRM