Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Bruno Barras
Environments and the Complexity of Abstract Machines
A New Elimination Rule for the Calculus of Inductive Constructions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Abstracting Abstract Machines
ACM SIGPLAN Notices
Computer Science
Concurrent Abstract Machines
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Interaction Abstract Machines
Concurrent Abstract State Machines
Acta Informatica
Computer Networks
Software
Information Systems
Communications
Fully Abstract Encodings of Λ-Calculus in HOcore Through Abstract Machines
Color and Visual Complexity in Abstract Images
Color Research and Application
Human Factors
Chemistry
Ergonomics
Chemical Engineering
Abstract Machines for Open Call-By-Value
Science of Computer Programming
Software
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
