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

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: QA76.9.A96 T96 1999eb
 
Call Number Status Get It
QA76.9.A96 T96 1999eb Available