Types for proofs and programs : international workshop TYPES '93, Nijmegen, the Netherlands, May 24-28, 1993 : selected papers /

This volume contains thoroughly refereed and revised full papers selected from the presentations at the first workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Nijmegen, The Netherlands, in May 1993. As the whole ESPRIT BRA 6453, this volume i...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Barendregt, H. P. (Hendrik Pieter), Nipkow, Tobias, 1958-
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1994]
Series:	Lecture notes in computer science ; 806.
Subjects:	Automatic theorem proving > Congresses. Computer programs > Congresses. Automatic theorem proving. Computer programs. Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book