Gordon Plotkin

1. A framework for defining logics
   1993/01/01 by Robert Harper, Furio Honsell, Gordon Plotkin · 30 citations
   Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Formal Methods in Verification
2. Foundations of Probabilistic Programming
   2020/11/18 by Fredrik Dahlqvist, Alexandra Silva, Dexter Kozen +45 · 1 voice · 6 citations
   Computer Science · #Bayesian Modeling and Causal Inference #Logic, Reasoning, and Knowledge
3. Rod Bustall: In Memoriam
   2025/05/09 by J Strother Moore, Gordon Plotkin, David Rydeheard +1 · 4 voices
   Computer Science · #cs.PL
4. On the Axiomatizability of Quantitative Algebras
   2018/04/05 by Radu Mardare, Prakash Panangaden, Mardare, Radu +3 · 4 citations
   Computer Science · #03B70 #Advanced Algebra and Logic #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Rough Sets and Fuzzy Logic