Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers (Lecture Notes in Computer Science, 2646)
詳しい情報
出版社: Springer(2008-06-13)
ペーパーバック: 344 ページ / 15.5 x 2.0 x 23.5 cm
ISBN-10: 354014031X ISBN-13: 9783540140313