Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers /

PSZJBL

Bibliographic Details
Main Authors:	TYPES `98 (2006 : Nottingham, UK), Altenkirch, Thorsten, McBride, Conor, SpringerLink (Online service)
Format:
Language:	eng
Published:	Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
Subjects:	Automatic theorem proving Computer programming
Online Access:	http://dx.doi.org/10.1007/978-3-540-74464-1

Internet