Cover Image

Types for proofs and programs : international workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers /

Show other versions (1)
Bibliographic Details
Corporate Authors: TYPES '99 Lökeberg, Sweden, SpringerLink (Online service), LINK (Online service)
Other Authors: Coquand, Thierry, 1961-
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [2000]
Series:Lecture notes in computer science ; 1956.
Subjects:
Automatic theorem proving > Congresses.
Computer programming > Congresses.
Type theory > Congresses.
Automatic theorem proving.
Computer programming.
Type theory.
Electronic books.
Online resources.
Conference proceedings.
Online Access:Connect to the full text of this electronic book
Description
Item Description:Electronic resource.
Physical Description:1 online resource (193 pages) : illustrations
Bibliography:Includes bibliographical references and index.
ISBN:9783540445579 (electronic bk.)
3540445579 (electronic bk.)