Electronic Notes in Theoretical Computer Science
, Volume 60
Volume 60, April 2004
Claudio V. Russo
:
Types for Modules.
Electronic Edition
(link)
BibTeX
Copyright ©
Sat May 16 23:58:15 2009 by
Michael Ley
(
ley@uni-trier.de
)
