Publicações

AuthID
P-000-KQ7

Author(s)

Editor(s)

Hofmann, M

Document Type

Article

Year published

2003

Published

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

Volume: 2701, Pages: 286-300 (15)

Conference

6Th International Conference on Typed Lambda Calculi and Applications (Tlca 2003), Date: JUN 10-12, 2003, Location: VALENCIA, SPAIN

Indexing

Wos^®

Scopus^®

Publication Identifiers

Scopus: 2-s2.0-35248891935

Wos: WOS:000184941100020

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Lista Marked

Info

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

Useful Links