Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by Alice Lai

Illinois-Lh: A Denotational and Distributional Approach to Semantics

2014English

Related publications

Compiler Generation From Denotational Semantics

DAIMI Report Series
1980English

A Denotational Semantics for the Π-Calculus

2001English

A Denotational Semantics for First-Order Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Metric Denotational Semantics for Remote Process Destruction and Cloning

Studia Universitatis Babeș-Bolyai Informatica
2017English

Formal Semantics by a Combination of Denotational Semantics and High-Level Petri Nets

DAIMI Report Series
1982English

Denotational Semantics of a Parallel Object-Oriented Language

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
1989English

A Constructive Denotational Semantics for Kahn Networks in Coq

English

Denotational Semantics for Abadi and Leino’s Logic of Objects

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

A Multitask Objective to Inject Lexical Contrast Into Distributional Semantics

2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy