Publications

AuthID
P-000-XY4

Author(s)

Editor(s)

Abramsky, S

Document Type

Article

Year published

2001

Published

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

Volume: 2044, Pages: 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

Marked List

Info

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

Useful Links