- Amb Breaks Well-Pointedness, Ground Amb Doesn't
2007/04/01 by Paul Blain Levy · 1 citation
Computer Science · Mathematics · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Advanced Algebra and Logic #Denotational semantics #Operational semantics #Normalisation by evaluation #Denotational semantics of the Actor model #Computer science #Regular polygon #Lemma (botany) #Algebra over a field #Semantics (computer science) #Theoretical computer science #Discrete mathematics #Programming language #Mathematics #Pure mathematics
- Denotational semantics of a parallel object-oriented language
1989/11/01 by Pierre America, Jaco de Bakker, Joost N. Kok +1 · 1 citation
Computer Science · #Action semantics #Artificial intelligence #Computer science #Denotational semantics #Denotational semantics of the Actor model #Distributed and Parallel Computing Systems #Logic, programming, and type systems #Normalisation by evaluation #Object (grammar) #Operational semantics #Parallel Computing and Optimization Techniques #Programming language #Semantics (computer science)
- LCF considered as a programming language
1977/12/01 by G.D. Plotkin, Gordon Plotkin · 3 citations
Computer Science · Mathematics · #Action semantics #Algebra over a field #Computer science #Denotation (semiotics) #Denotational semantics #Denotational semantics of the Actor model #Discrete mathematics #Equivalence (formal languages) #Formal Methods in Verification #Linguistics #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematics #Normalisation by evaluation #Operational semantics #Programming language #Pure mathematics #Semantics (computer science) #Set (abstract data type) #Well-founded semantics