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

文章详细全文下载
2.Program Extraction from Proofs of Weak Head Normalization

作　　者：Malgorzata Biernacka ;Olivier Danvy ;Kristian Støvring

出　　处：BRICS Report Series. 2005 ;12(12).

出版社：Aarhus University

文章 ID：186804925

文章详细全文下载
3.Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative

作　　者：Kristian Støvring

出　　处：BRICS Report Series. 2005 ;12(35).

出版社：Aarhus University

文章 ID：186804948

文章详细全文下载
4.Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative

作　　者：Kristian Støvring

出　　处：BRICS Report Series. 2006 ;13(5).

出版社：Aarhus University

文章 ID：186804956

文章详细全文下载
5.Higher-Order Beta Matching with Solutions in Long Beta-Eta Normal Form

作　　者：Kristian Støvring

出　　处：BRICS Report Series. 2006 ;13(12).

出版社：Aarhus University

文章 ID：186804962

文章详细全文下载
6.A Complete, Co-Inductive Syntactic Theory of Sequential Control and State

作　　者：Kristian Støvring ;Søren B. Lassen

出　　处：BRICS Report Series. 2007 ;14(4).

出版社：Aarhus University

文章 ID：186804972

文章详细全文下载

	丹麦	5篇
	德国	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Kristian Støvring")))) )) ) )"

	Kristian Støvring	6篇
	Jan Schwinghammer	1篇
	Lars Birkedal	1篇
	Malgorzata Biernacka	1篇
	Olivier Danvy	1篇

	BRICS Report Series	5篇
	Logical Methods in Computer Science	1篇

	2012	1篇
	2007	1篇
	2006	2篇
	2005	2篇

	Rasmus Møgelberg	1篇
	Søren B. Lassen	1篇