1.Nominal Logic with Equations Only

作　　者：Ranald Clouston

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;71:44-57.doi:10.4204/EPTCS.71.4

出版社：Open Publishing Association

文章 ID：83120343

文章详细全文下载
2.Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents

作　　者：Tim Lyon ;Alwen Tiu ;Rajeev Gor 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;152:1-16.doi:10.4230/LIPIcs.CSL.2020.28

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：243494229

文章详细全文下载
3.The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types

作　　者：Ranald Clouston ;Ale Bizjak ;Hans Grathwohl 等

出　　处：Logical Methods in Computer Science. 2016 ;12(3):1.doi:10.2168/LMCS-12(3:7)2016

出版社：Technical University of Braunschweig

文章 ID：264692238

文章详细全文下载
4.Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic

作　　者：Ranald Clouston ;Jeremy Dawson ;Rajeev Gor{\'e 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;23:197-214.doi:10.4230/LIPIcs.CSL.2013.197

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186846339

文章详细全文下载
5.Guarded Cubical Type Theory: Path Equality for Guarded Recursion

作　　者：Lars Birkedal ;Ale{\v{s}} Bizjak ;Ranald Clouston 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;62:23:1-23:17.doi:10.4230/LIPIcs.CSL.2016.23

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186847940

文章详细全文下载

	Andrea Vezzosi	1篇
	Bas Spitters	1篇
	Hans Bugge Grathwohl	1篇
	Hans Grathwohl	1篇
	Jeremy Dawson	1篇
	Rajeev Gor	1篇
	Rajeev Gor{\'e	1篇
	Tim Lyon	1篇

	德国	4篇
	澳大利亚	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Ranald Clouston")))) )) ) )"

	Ranald Clouston	5篇
	Alwen Tiu	2篇
	Lars Birkedal	2篇
	Ale{\v{s}} Bizjak	1篇
	Ale Bizjak	1篇

	LIPIcs : Leibniz International Proceedings in Informatics	3篇
	Electronic Proceedings in Theoretical Computer Science	1篇
	Logical Methods in Computer Science	1篇

	2020	1篇
	2016	2篇
	2013	1篇
	2011	1篇