Publicações

AuthID
P-007-D7J

Author(s)

Editor(es)

Barthe G.Thiemann P.

Tipo de Documento

Proceedings Paper

Year published

2003

Publicado

in Electronic Notes in Theoretical Computer Science, ISSN: 1571-0661

Volume: 75, Páginas: 43-62

Conference

Tip'02, International Worshop in Types in Programming, Date: 8 July 2002 through 8 July 2002, Location: Dagstuhl

Indexing

Scopus^®

Crossref^®1

Google Scholar^®

Publication Identifiers

DOI: 10.1016/s1571-0661(04)80778-3

DBLP: journals/entcs/MartinsLV02

SCOPUS: 2-s2.0-18944371995

Source Identifiers

ISSN: 1571-0661

Export Publication Metadata

Lista Marked

Info

At this moment we don't have any links to full text documens.

Links Úteis