1.General Ramified Recurrence is Sound for Polynomial Time

作　　者：Ugo Dal Lago ;Simone Martini ;Margherita Zorzi

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;23:47-62.doi:10.4204/EPTCS.23.4

出版社：Open Publishing Association

文章 ID：83119873

文章详细全文下载

2.Light Logics and Higher-Order Processes

作　　者：Ugo Dal Lago ;Simone Martini ;Davide Sangiorgi

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;41:46-60.doi:10.4204/EPTCS.41.4

出版社：Open Publishing Association

文章 ID：83120072

文章详细全文下载

3.Soft Session Types

作　　者：Ugo Dal Lago ;Paolo Di Giamberardino

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;64:59-73.doi:10.4204/EPTCS.64.5

出版社：Open Publishing Association

文章 ID：83120279

文章详细全文下载

4.On Multiplicative Linear Logic, Modality and Quantum Circuits

作　　者：Ugo Dal Lago ;Claudia Faggian

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;95:55-66.doi:10.4204/EPTCS.95.6

出版社：Open Publishing Association

文章 ID：83120437

文章详细全文下载

5.Light Logics and the Call-by-Value Lambda Calculus

作　　者：Paolo Coppola ;Ugo Dal Lago ;Simona Ronchi Della Rocca

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

出版社：Technical University of Braunschweig

文章 ID：47109819

文章详细全文下载

6.Differential Logical Relations, Part I: The Simply-Typed Case

作　　者：Ugo Dal Lago ;Francesco Gavazzo ;Akira Yoshimizu

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;132:1-14.doi:10.4230/LIPIcs.ICALP.2019.111

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

文章 ID：238892246

文章详细全文下载

7.On the Taylor Expansion of Probabilistic lambda-terms

作　　者：dallago_et_al:LIPIcs: : , author {Ugo Dal Lago ;Thomas Leventis

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

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

文章 ID：238892300

文章详细全文下载

8.On Higher-Order Cryptography

作　　者：Boaz Barak ;Crubillé, Raphaëlle ;Ugo Dal Lago

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;168:108:1-108:16.doi:10.4230/LIPIcs.ICALP.2020.108

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

文章 ID：255823143

文章详细全文下载

9.Solvability in a Probabilistic Setting (Invited Talk)

作　　者：Simona Ronchi Della Rocca ;Ugo Dal Lago ;Claudia Faggian

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;167:1:1-1:17.doi:10.4230/LIPIcs.FSCD.2020.1

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

文章 ID：255823178

文章详细全文下载

10.Linear Dependent Types and Relative Completeness

作　　者：Ugo Dal Lago ;Marco Gaboardi

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

出版社：Technical University of Braunschweig

文章 ID：264691883

文章详细全文下载

	有本地全文	16篇
	有全文链接	1篇

	2021	1篇
	2020	2篇
	2019	2篇
	2016	1篇
	2015	2篇

	Ugo Dal Lago	16篇
	Simone Martini	3篇
	Beniamino Accattoli	2篇
	Claudia Faggian	2篇
	Simona Ronchi Della Rocca	2篇

	Agathe Herrou	1篇
	Akira Yoshimizu	1篇
	Boaz Barak	1篇
	Crubillé, Raphaëlle	1篇
	Davide Sangiorgi	1篇
	Flavien Breuvart	1篇
	Francesco Gavazzo	1篇
	Marco Gaboardi	1篇
	Margherita Zorzi	1篇
	Martin Avanzini	1篇
	Paolo Coppola	1篇
	Paolo Di Giamberardino	1篇
	Patrick Baillot	1篇
	Thomas Leventis	1篇
	Yuan Feng	1篇
	Yuxin Deng	1篇
	dallago_et_al:LIPIcs: : , author {Ugo Dal Lago	1篇

	德国	13篇
	澳大利亚	4篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Ugo Dal Lago")))) )) ) )"

	LIPIcs : Leibniz International Proceedings in Informatics	8篇
	Logical Methods in Computer Science	5篇
	Electronic Proceedings in Theoretical Computer Science	4篇