-
Types for Proofs and Programs: International Workshop, TYPES’99 Lökeberg, Sweden, June 12–16, 1999 Selected Papers 电子书下载
This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop, TYPES`99, organized ...
05-25 [ None ]