Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Eneia N. Todoran
Metric Denotational Semantics for Remote Process Destruction and Cloning
Studia Universitatis Babeș-Bolyai Informatica
Related publications
On 0-Complete Partial Metric Spaces and Quantitative Fixed Point Techniques in Denotational Semantics
Abstract and Applied Analysis
Applied Mathematics
Analysis
A Denotational Semantics for the Π-Calculus
A Denotational Semantics for First-Order Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Compiler Generation From Denotational Semantics
DAIMI Report Series
Denotational Semantics for Abadi and Leino’s Logic of Objects
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Language for DENOTE (Denotational Semantics Translation Environment)
A Constructive Denotational Semantics for Kahn Networks in Coq
Connection Between Dijkstra's Predicate-Transformers and Denotational Continuation-Semantics
DAIMI Report Series
Illinois-Lh: A Denotational and Distributional Approach to Semantics
