1.Linear Abadi and Plotkin Logic

作　　者：Lars Birkedal ;Rasmus E. Møgelberg ;Rasmus Lerchedahl Petersen

出　　处：Logical Methods in Computer Science. 2006 ;2(05).doi:10.2168/LMCS-2(5:2)2006

出版社：Technical University of Braunschweig

文章 ID：46838647

文章详细全文下载

2.Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages

作　　者：Lars Birkedal ;Noah Torp-Smith ;Hongseok Yang

出　　处：Logical Methods in Computer Science. 2006 ;2(05).doi:10.2168/LMCS-2(5:1)2006

出版社：Technical University of Braunschweig

文章 ID：46838649

文章详细全文下载

3.Relational Parametricity and Separation Logic

作　　者：Lars Birkedal ;Hongseok Yang

出　　处：Logical Methods in Computer Science. 2008 ;4(02).doi:10.2168/LMCS-4(2:6)2008

出版社：Technical University of Braunschweig

文章 ID：46838696

文章详细全文下载

4.First steps in synthetic guarded domain theory: step-indexing in the topos of trees

作　　者：Lars Birkedal ;Rasmus Møgelberg ;Jan Schwinghammer 等

出　　处：Logical Methods in Computer Science. 2012 ;8(4):1.doi:10.2168/LMCS-8(4:1)2012

出版社：Technical University of Braunschweig

文章 ID：264691889

文章详细全文下载

5.Two for the Price of One: Lifting Separation Logic Assertions

作　　者：Jacob Thamsborg ;Lars Birkedal ;Hongseok Yang

出　　处：Logical Methods in Computer Science. 2012 ;8(3):1.doi:10.2168/LMCS-8(3:22)2012

出版社：Technical University of Braunschweig

文章 ID：264691973

文章详细全文下载

6.Step-Indexed Relational Reasoning for Countable Nondeterminism

作　　者：Lars Birkedal ;Ale Bizjak ;Jan Schwinghammer

出　　处：Logical Methods in Computer Science. 2013 ;9(4):1.doi:10.2168/LMCS-9(4:4)2013

出版社：Technical University of Braunschweig

文章 ID：264692194

文章详细全文下载

7.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

文章详细全文下载

8.Step-Indexed Relational Reasoning for Countable Nondeterminism

作　　者：Jan Schwinghammer ;Lars Birkedal

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;12:512-524.doi:10.4230/LIPIcs.CSL.2011.512

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

文章 ID：186846005

文章详细全文下载

9.A Concurrent Logical Relation

作　　者：Lars Birkedal ;Filip Sieczkowski ;Jacob Thamsborg

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;16:107-121.doi:10.4230/LIPIcs.CSL.2012.107

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

文章 ID：186846154

文章详细全文下载

10.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

文章详细全文下载

	Ranald Clouston	2篇
	Ale{\v{s}} Bizjak	1篇
	Andrea Vezzosi	1篇
	Bas Spitters	1篇
	Filip Sieczkowski	1篇
	Hans Bugge Grathwohl	1篇
	Hans Grathwohl	1篇
	Kristian Støvring	1篇
	Noah Torp-Smith	1篇
	Rasmus E. Møgelberg	1篇
	Rasmus Lerchedahl Petersen	1篇
	Rasmus Møgelberg	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Lars Birkedal")))) )) ) )"

	Lars Birkedal	10篇
	Hongseok Yang	3篇
	Jan Schwinghammer	3篇
	Ale Bizjak	2篇
	Jacob Thamsborg	2篇

	Logical Methods in Computer Science	7篇
	LIPIcs : Leibniz International Proceedings in Informatics	3篇