Gordon Plotkin
Google (United States)(US)University of Edinburgh(GB)
Publications by Year
Research Areas
Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Formal Methods in Verification, Advanced Algebra and Logic, Computability, Logic, AI Algorithms
Most-Cited Works
- A Structural Approach to Operational Semantics(2004)
- → Call-by-name, call-by-value and the λ-calculus(1975)1,154 cited
- → LCF considered as a programming language(1977)1,093 cited
- → A Framework for Defining Logics(1993)968 cited
- → Petri nets, event structures and domains, part I(1981)913 cited
- → A Powerdomain Construction(1976)635 cited
- → A calculus for access control in distributed systems(1993)573 cited