1.Glueability of Resource Proof-Structures: Inverting the Taylor Expansion

作　　者：Giulio Guerrieri ;Luc Pellissier ;Lorenzo Tortora de Falco

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

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

文章 ID：243494225

文章详细全文下载

2.Factorize Factorization

作　　者：Beniamino Accattoli ;Claudia Faggian ;Giulio Guerrieri

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;183:6:1-6:25.doi:10.4230/LIPIcs.CSL.2021.6

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

文章 ID：258514168

文章详细全文下载

3.A Deep Quantitative Type System

作　　者：Giulio Guerrieri ;Willem B. Heijltjes ;Joseph W.N. Paulus

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;183:24:1-24:24.doi:10.4230/LIPIcs.CSL.2021.24

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

文章 ID：258514186

文章详细全文下载

4.Categorifying Non-Idempotent Intersection Types

作　　者：Giulio Guerrieri ;Federico Olimpieri

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;183:25:1-25:24.doi:10.4230/LIPIcs.CSL.2021.25

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

文章 ID：258514187

文章详细全文下载

5.Standardization of a Call-By-Value Lambda-Calculus

作　　者：Giulio Guerrieri ;Luca Paolini ;Simona Ronchi Della Rocca

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;38:211-225.doi:10.4230/LIPIcs.TLCA.2015.211

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

文章 ID：186846866

文章详细全文下载

6.Head reduction and normalization in a call-by-value lambda-calculus

作　　者：Giulio Guerrieri

出　　处：OASIcs : OpenAccess Series in Informatics. 2015 ;46:3-17.doi:10.4230/OASIcs.WPTE.2015.3

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

文章 ID：186848833

文章详细全文下载

7.Computing Connected Proof(-Structure)s From Their Taylor Expansion

作　　者：Giulio Guerrieri ;Luc Pellissier ;Lorenzo Tortora de Falco

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;52:20:1-20:18.doi:10.4230/LIPIcs.FSCD.2016.20

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

文章 ID：186847452

文章详细全文下载

8.The Bang Calculus and the Two Girard's Translations

作　　者：Giulio Guerrieri ;Giulio Manzonetto

出　　处：Electronic Proceedings in Theoretical Computer Science. 2019 ;292:15-30.doi:10.4204/EPTCS.292.2

出版社：Open Publishing Association

文章 ID：1034807890

文章详细

9.Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus

作　　者：Giulio Guerrieri

出　　处：Electronic Proceedings in Theoretical Computer Science. 2019 ;293:57-72.doi:10.4204/EPTCS.293.5

出版社：Open Publishing Association

文章 ID：1034087480

文章详细

10.GLUING RESOURCE PROOF-STRUCTURES: INHABITATION AND INVERTING THE TAYLOR EXPANSION

作　　者：Giulio Guerrieri ;Luc Pellissier ;Lorenzo Tortora de Falco

出　　处：Logical Methods in Computer Science. 2022 ;18(2):1-46.doi:10.46298/lmcs-18(2:4)2022

出版社：Technical University of Braunschweig

文章 ID：1038046981

文章详细

	有本地全文	7篇
	有全文链接	3篇

	德国	8篇
	澳大利亚	2篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Giulio Guerrieri")))) )) ) )"

	Giulio Guerrieri	10篇
	Lorenzo Tortora de Falco	3篇
	Luc Pellissier	3篇
	Beniamino Accattoli	1篇
	Claudia Faggian	1篇

	Federico Olimpieri	1篇
	Giulio Manzonetto	1篇
	Joseph W.N. Paulus	1篇
	Luca Paolini	1篇
	Simona Ronchi Della Rocca	1篇
	Willem B. Heijltjes	1篇

	LIPIcs : Leibniz International Proceedings in Informatics	6篇
	Electronic Proceedings in Theoretical Computer Science	2篇
	Logical Methods in Computer Science	1篇
	OASIcs : OpenAccess Series in Informatics	1篇