International Workshop in Types in Programming, Tip@Mpc 2002, Dagstuhl, Germany, July 8, 2002

AuthID
P-00Z-282
2
Author(s)
Document Type
Proceedings
Year published
2003
Published
in TIP@MPC in Electronic Notes in Theoretical Computer Science
Volume: 75
Indexing
Publication Identifiers
DBLP: conf/mpc/2002tip
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.