1.Pure Type Systems without Explicit Contexts

作　　者：Herman Geuvers ;Robbert Krebbers ;James McKinna 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;34:53-67.doi:10.4204/EPTCS.34.6

出版社：Open Publishing Association

文章 ID：83120006

文章详细全文下载
2.Front Matter, Table of Contents, Preface, Conference Organization

作　　者：Herman Geuvers

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;131:1-20.doi:10.4230/LIPIcs.FSCD.2019.0

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

文章 ID：238892287

文章详细全文下载
3.Higher Inductive Types in Programming

作　　者：Henning Basold ;Herman Geuvers ;Niels van der Weide

出　　处：Journal of Universal Computer Science. 2017 ;23(1):63-88.

出版社：Graz University of Technology and Know-Center

文章 ID：192806587

文章详细全文下载
4.Front Matter, Table of Contents, Preface, Conference Organization

作　　者：Silvia Ghilezan ;Herman Geuvers ;Jelena Ivetic

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;97:i-x.doi:10.4230/LIPIcs.TYPES.2016.0

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

文章 ID：230213684

文章详细全文下载
5.Proof Terms for Generalized Natural Deduction

作　　者：Herman Geuvers ;Tonny Hurkens

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;104:1-39.doi:10.4230/LIPIcs.TYPES.2017.3

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

文章 ID：230438731

文章详细全文下载

	Herman Geuvers	5篇
	Freek Wiedijk	1篇
	Henning Basold	1篇
	James McKinna	1篇
	Jelena Ivetic	1篇

	德国	3篇
	奥地利	1篇
	澳大利亚	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Herman Geuvers")))) )) ) )"

	Niels van der Weide	1篇
	Robbert Krebbers	1篇
	Silvia Ghilezan	1篇
	Tonny Hurkens	1篇

	LIPIcs : Leibniz International Proceedings in Informatics	3篇
	Electronic Proceedings in Theoretical Computer Science	1篇
	Journal of Universal Computer Science	1篇

	2019	1篇
	2018	2篇
	2017	1篇
	2010	1篇