Skip to main navigation
Skip to search
Skip to main content
Stevens Institute of Technology Home
Home
Profiles
Research units
Projects
Research output
Search by expertise, name or affiliation
The Linear Logical Abstract Machine
Eduardo Bonelli
Department of Computer Science
School of Engineering and Science
Research output
:
Contribution to journal
›
Article
›
peer-review
1
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'The Linear Logical Abstract Machine'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Abstract Machine
100%
lambda-calculus
40%
Sequent Calculus
40%
Call by Value
20%
Evaluation Semantics
20%
Natural Deduction
20%