Lambda and Pi Calculi, Cam and Secd Machines

AuthID
P-000-62C
1
Author(s)
Document Type
Article
Year published
2005
Published
in JOURNAL OF FUNCTIONAL PROGRAMMING, ISSN: 0956-7968
Volume: 15, Issue: 1, Pages: 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
Marked List
Info
At this moment we don't have any links to full text documens.