Lecture Notes in Computer Science 2257 Practical Aspects Of Declarative Languages 4th International
PADL 20022002 年出版351 页ISBN:354043092X
geometry and quantum field theory : proceedings of the 2002 Oxford symposium in the honour of the 60th birthday of Graeme Segal2004 年出版577 页ISBN:0521540496