---

Types for proofs and programs : International Workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers / Thierry Coquand ... [et al.] (eds.)
(Lecture notes in computer science ; 1956)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlasg
出版年	c2000
形態	193 p. : ill. ; 24 cm
著者標目	*International Workshop TYPES (1999 : Lökeberg, Sweden) Coquand, Thierry
件　名	LCSH:Automatic theorem proving Congresses LCSH:Computer programming Congresses LCSH:Type theory Congresses
分　類	NDC:549.92
書誌ID	LT00608140

 類似資料