Publicações

AuthID
P-000-XY4

Author(s)

Editor(es)

Abramsky, S

Tipo de Documento

Article

Year published

2001

Publicado

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

Volume: 2044, Páginas: 385-399 (15)

Conference

5Th International Conference on Typed Lamabda Calculi and Applications, Date: MAY 02-05, 2001, Location: KRAKOW, POLAND

Indexing

Wos^®

Scopus^®

Crossref^®8

Google Scholar^®

Publication Identifiers

DOI: 10.1007/3-540-45413-6_30

DBLP: conf/tlca/Pinto01

SCOPUS: 2-s2.0-33244475972

Wos: WOS:000174205600030

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