Types for Proofs and Programs:
Second International Workshop, Types 2002, Berg En Dal, the Netherlands, April 24-28, 2002 Selected Papers

by Types 200 (2002 Berg En Dal, Netherlands), Freek Wiedijk

ISBN354014031X / 9783540140313 / 3-540-14031-X
PublisherSpringer-Verlag New York Inc
CountryGermany
LanguageEnglish
EditionSoftcover
List price$61.95
Buying Options

Found a mistake in this data?