G.D. Plotkin
- LCF considered as a programming language
1977/12/01 by Gordon Plotkin, G.D. Plotkin · 5 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