Skip to main content
Log in
Menu
Find a journal
Publish with us
Track your research
Search
Cart
Home
Higher-Order and Symbolic Computation
Volumes and issues
Volume 11, Issue 3
Higher-Order and Symbolic Computation
Publishing model
:
Hybrid
Higher-Order and Symbolic Computation
is now archived and no longer receiving submissions with this publisher. All articles published in the journal during its time with Springer will remain fully searchable through our websites.
Search all Higher-Order and Symbolic Computation articles
Volume 11, Issue 3
September 1998
2 articles in this issue
A Syntactic Theory of Dynamic Binding
Luc Moreau
OriginalPaper
Pages: 233 - 279
Composable Semantic Models for Actor Theories
Carolyn L. Talcott
OriginalPaper
Pages: 281 - 343
Search
Search by keyword or author
Search
Navigation
Find a journal
Publish with us
Track your research