Clouston, Ranald

1. Fitch-Style Modal Lambda Calculi
   2017/10/23 by Ranald Clouston, Clouston, Ranald · 3 citations
   Computer Science · #Advanced Algebra and Logic #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
2. Guarded Dependent Type Theory with Coinductive Types
   2016/01/07 by Bizjak, Aleš, Grathwohl, Hans Bugge, Clouston, Ranald +2 · 2 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
3. Semantical Analysis of Intuitionistic Modal Logics between CK and IK
   2024/08/01 by de Groot, Jim, Shillito, Ian, Clouston, Ranald · 2 citations
   #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)