Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by David Cachera
A Certified Denotational Abstract Interpreter
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
A Fully Abstract Denotational Model for Higher-Order Processes
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Why Denotational?
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
A Denotational Investigation of Defunctionalization
BRICS Report Series
Interpreter Sam
Leading Edge
Geophysics
Geology
Program Transformations in a Denotational Setting
DAIMI Report Series
A Denotational Semantics for the Π-Calculus
A Denotational Semantics for First-Order Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Community Interpreter: A Question of Role
Hermes (Denmark)
Linguistics
Language
Communication
Multi-Interpreter Systems
DAIMI Report Series
