Ranald Clouston
发表
Ranald Clouston,
2011,
WoLLIC.
Rajeev Goré,
Tim Lyon,
Alwen Tiu,
2020,
CSL.
Ranald Clouston,
2013,
FoSSaCS.
Ranald Clouston,
2014,
J. Comput. Syst. Sci..
Robert Goldblatt,
Ranald Clouston,
2005,
ICTAC.
From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic
Rajeev Goré,
Alwen Tiu,
Jeremy E. Dawson,
2014,
IFIP TCS.
Lars Birkedal,
Ranald Clouston,
Hans Bugge Grathwohl,
2016,
Log. Methods Comput. Sci..
Ranald Clouston,
2011,
LFMTP.
Rasmus Ejlers Møgelberg,
Lars Birkedal,
Ales Bizjak,
2016,
FoSSaCS.
Bas Spitters,
Lars Birkedal,
Andrea Vezzosi,
2016,
CSL.
Bas Spitters,
Lars Birkedal,
Andrea Vezzosi,
2018,
Journal of Automated Reasoning.
Rajeev Goré,
Alwen Tiu,
Jeremy E. Dawson,
2013,
CSL.
Bas Spitters,
Andrew M. Pitts,
Bassel Mannaa,
2018,
Mathematical Structures in Computer Science.
Ranald Clouston,
2010,
MFPS.
Rajeev Goré,
Alwen Tiu,
Ranald Clouston,
2014,
POPL.
Rajeev Goré,
Alwen Tiu,
Ranald Clouston,
2017,
ACM Trans. Comput. Log..
Rajeev Goré,
Ranald Clouston,
R. Goré,
2015,
FoSSaCS.
Ranald Clouston,
Ranald Clouston,
2017,
FoSSaCS.
Rajeev Goré,
David Sanán,
Alwen Tiu,
2016,
Arch. Formal Proofs.
Rajeev Goré,
Alwen Tiu,
Jeremy E. Dawson,
2013,
CSL 2013.