Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002 : selected papers

J.H. Geuvers (Editor), F. Wiedijk (Editor)

Research output: Book/Report › Book editing › Academic

Name	Lecture notes in computer science
Volume	2646
ISSN (Print)	0302-9743

Name	TYPES : types for proofs and programs : international conference
Volume	2002

Access to Document

@book{efff6f9c123c4e98b6b160ccb106b3e2,

title = "Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002 : selected papers",

editor = "J.H. Geuvers and F. Wiedijk",

year = "2003",

doi = "10.1007/3-540-39185-1",

language = "English",

isbn = "9783540140313",

series = "Lecture notes in computer science",

publisher = "Springer",

address = "Germany",

}

Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002 : selected papers. / Geuvers, J.H. (Editor); Wiedijk, F. (Editor).
Berlin: Springer, 2003. 330 p. (Lecture notes in computer science; Vol. 2646), (TYPES : types for proofs and programs : international conference; Vol. 2002).

Research output: Book/Report › Book editing › Academic

TY - BOOK

T1 - Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002 : selected papers

A2 - Geuvers, J.H.

A2 - Wiedijk, F.

PY - 2003

Y1 - 2003

UR - http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-39185-2

U2 - 10.1007/3-540-39185-1

DO - 10.1007/3-540-39185-1

M3 - Book editing

SN - 9783540140313

T3 - Lecture notes in computer science

BT - Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002 : selected papers

PB - Springer

CY - Berlin

ER -