Lambda and Pi Calculi, Cam and Secd Machines

AuthID
P-000-62C
1
Author(s)
Tipo de Documento
Article
Year published
2005
Publicado
in JOURNAL OF FUNCTIONAL PROGRAMMING, ISSN: 0956-7968
Volume: 15, Número: 1, Páginas: 101-127 (27)
Indexing
Publication Identifiers
DBLP: journals/jfp/Vasconcelos05
SCOPUS: 2-s2.0-11444264545
Wos: WOS:000226533500006
Source Identifiers
ISSN: 0956-7968
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.