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

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

Published 2000

Conference Proceeding Book