Publicações

AuthID
P-001-6AT

Author(s)

Editor(es)

Girard, JY

Tipo de Documento

Article

Year published

1999

Publicado

in TYPED LAMBDA CALCULI AND APPLICATIONS in LECTURE NOTES IN COMPUTER SCIENCE, ISSN: 0302-9743

Volume: 1581, Páginas: 69-82 (14)

Conference

4Th International Conference on Typed Lambda Calculi and Applications (Tlca 99), Date: APR 07-09, 1999, Location: LAQUILA, ITALY

Indexing

Wos^®

Scopus^®

Crossref^®1

Google Scholar^®

Publication Identifiers

DOI: 10.1007/3-540-48959-2_7

DBLP: conf/tlca/BrodaD99

SCOPUS: 2-s2.0-22644450617

Wos: WOS:000082777100007

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Lista Marked

Info

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

Links Úteis