Amanote Research
Register
Sign In
Interaction Abstract Machines
doi 10.7551/mitpress/2087.003.0015
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 1993
Authors
Unknown
Publisher
The MIT Press
Related search
Abstracting Abstract Machines
ACM SIGPLAN Notices
Computer Science
Concurrent Abstract Machines
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Concurrent Abstract State Machines
Acta Informatica
Computer Networks
Software
Information Systems
Communications
Fully Abstract Encodings of Λ-Calculus in HOcore Through Abstract Machines
Abstract Machines for Open Call-By-Value
Science of Computer Programming
Software
Environments and the Complexity of Abstract Machines
Formal Verification of Programs for Abstract Register Machines
Bulletin of the Novosibirsk Computing Center. Series:Computer Science
State Enumeration With Abstract Descriptions of State Machines
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Natural Language Interaction With Machines
