default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Federico Aschieri
@article{DBLP:journals/pacmpl/AschieriG20,
author = {Federico Aschieri and
Francesco A. Genco},
title = {Par means parallel: multiplicative linear logic proofs as concurrent
functional programs},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{POPL}},
pages = {18:1--18:28},
year = {2020},
url = {https://doi.org/10.1145/3371086},
doi = {10.1145/3371086},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/AschieriG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AschieriCG20,
author = {Federico Aschieri and
Agata Ciabattoni and
Francesco A. Genco},
title = {On the concurrent computational content of intermediate logics},
journal = {Theor. Comput. Sci.},
volume = {813},
pages = {375--409},
year = {2020},
url = {https://doi.org/10.1016/j.tcs.2020.01.022},
doi = {10.1016/J.TCS.2020.01.022},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AschieriCG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AschieriCG20,
author = {Federico Aschieri and
Agata Ciabattoni and
Francesco Antonio Genco},
editor = {Elvira Albert and
Laura Kov{\'{a}}cs},
title = {A typed parallel lambda-calculus via 1-depth intermediate proofs},
booktitle = {{LPAR} 2020: 23rd International Conference on Logic for Programming,
Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27,
2020},
series = {EPiC Series in Computing},
volume = {73},
pages = {68--89},
publisher = {EasyChair},
year = {2020},
url = {https://doi.org/10.29007/g15z},
doi = {10.29007/G15Z},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/AschieriCG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AschieriHW19,
author = {Federico Aschieri and
Stefan Hetzl and
Daniel Weller},
title = {Expansion trees with cut},
journal = {Math. Struct. Comput. Sci.},
volume = {29},
number = {8},
pages = {1009--1029},
year = {2019},
url = {https://doi.org/10.1017/S0960129519000069},
doi = {10.1017/S0960129519000069},
timestamp = {Fri, 04 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/AschieriHW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-03882,
author = {Federico Aschieri and
Agata Ciabattoni and
Francesco A. Genco},
title = {A typed parallel {\textdollar}{\(\lambda\)}{\textdollar}-calculus
for graph-based communication},
journal = {CoRR},
volume = {abs/1902.03882},
year = {2019},
url = {http://arxiv.org/abs/1902.03882},
eprinttype = {arXiv},
eprint = {1902.03882},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-03882.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-03631,
author = {Federico Aschieri and
Francesco A. Genco},
title = {{\unicode{8523}} means Parallel: Multiplicative Linear Logic Proofs
as Concurrent Functional Programs},
journal = {CoRR},
volume = {abs/1907.03631},
year = {2019},
url = {http://arxiv.org/abs/1907.03631},
eprinttype = {arXiv},
eprint = {1907.03631},
timestamp = {Wed, 17 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-03631.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1803-07313,
author = {Federico Aschieri},
editor = {Stefano Berardi and
Alexandre Miquel},
title = {On Natural Deduction for Herbrand Constructive Logics {III:} The Strange
Case of the Intuitionistic Logic of Constant Domains},
booktitle = {Proceedings Seventh International Workshop on Classical Logic and
Computation, CL{\&}C 2018, Oxford (UK), 7th of July 2018},
series = {{EPTCS}},
volume = {281},
pages = {1--9},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.281.1},
doi = {10.4204/EPTCS.281.1},
timestamp = {Tue, 04 Dec 2018 16:00:11 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-07313.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1904-10106,
author = {Federico Aschieri},
editor = {Michele Pagani and
Sandra Alves},
title = {Natural Deduction and Normalization Proofs for the Intersection Type
Discipline},
booktitle = {Proceedings Twelfth Workshop on Developments in Computational Models
and Ninth Workshop on Intersection Types and Related Systems, {DCM/ITRS}
2018, Oxford, UK, 8th July 2018},
series = {{EPTCS}},
volume = {293},
pages = {29--37},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.293.3},
doi = {10.4204/EPTCS.293.3},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-10106.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1809-03094,
author = {Federico Aschieri and
Agata Ciabattoni and
Francesco A. Genco},
editor = {Andrea Orlandini and
Martin Zimmermann},
title = {Classical Proofs as Parallel Programs},
booktitle = {Proceedings Ninth International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2018, Saarbr{\"{u}}cken, Germany,
26-28th September 2018},
series = {{EPTCS}},
volume = {277},
pages = {43--57},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.277.4},
doi = {10.4204/EPTCS.277.4},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-03094.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-00961,
author = {Federico Aschieri and
Agata Ciabattoni and
Francesco A. Genco},
title = {Disjunctive Axioms and Concurrent {\(\lambda\)}-Calculi: a Curry-Howard
Approach},
journal = {CoRR},
volume = {abs/1802.00961},
year = {2018},
url = {http://arxiv.org/abs/1802.00961},
eprinttype = {arXiv},
eprint = {1802.00961},
timestamp = {Thu, 04 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-00961.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Aschieri17,
author = {Federico Aschieri},
title = {Game Semantics and the Geometry of Backtracking: a New Complexity
Analysis of Interaction},
journal = {J. Symb. Log.},
volume = {82},
number = {2},
pages = {672--708},
year = {2017},
url = {https://doi.org/10.1017/jsl.2016.48},
doi = {10.1017/JSL.2016.48},
timestamp = {Wed, 19 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Aschieri17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Aschieri17,
author = {Federico Aschieri},
title = {Constructive forcing, {CPS} translations and witness extraction in
Interactive realizability},
journal = {Math. Struct. Comput. Sci.},
volume = {27},
number = {6},
pages = {993--1031},
year = {2017},
url = {https://doi.org/10.1017/S0960129515000468},
doi = {10.1017/S0960129515000468},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Aschieri17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AschieriCG17,
author = {Federico Aschieri and
Agata Ciabattoni and
Francesco A. Genco},
title = {G{\"{o}}del logic: From natural deduction to parallel computation},
booktitle = {32nd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2017, Reykjavik, Iceland, June 20-23, 2017},
pages = {1--12},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/LICS.2017.8005076},
doi = {10.1109/LICS.2017.8005076},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AschieriCG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Aschieri16,
author = {Federico Aschieri},
title = {On Natural Deduction for Herbrand Constructive Logics {I:} Curry-Howard
Correspondence for Dummett's Logic {LC}},
journal = {Log. Methods Comput. Sci.},
volume = {12},
number = {3},
year = {2016},
url = {https://doi.org/10.2168/LMCS-12(3:13)2016},
doi = {10.2168/LMCS-12(3:13)2016},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Aschieri16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AschieriZ16,
author = {Federico Aschieri and
Margherita Zorzi},
title = {On natural deduction in classical first-order logic: Curry-Howard
correspondence, strong normalization and Herbrand's theorem},
journal = {Theor. Comput. Sci.},
volume = {625},
pages = {125--146},
year = {2016},
url = {https://doi.org/10.1016/j.tcs.2016.02.028},
doi = {10.1016/J.TCS.2016.02.028},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AschieriZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/AschieriM16,
author = {Federico Aschieri and
Matteo Manighetti},
editor = {Silvia Ghilezan and
Herman Geuvers and
Jelena Ivetic},
title = {On Natural Deduction for Herbrand Constructive Logics {II:} Curry-Howard
Correspondence for Markov's Principle in First-Order Logic and Arithmetic},
booktitle = {22nd International Conference on Types for Proofs and Programs, {TYPES}
2016, May 23-26, 2016, Novi Sad, Serbia},
series = {LIPIcs},
volume = {97},
pages = {4:1--4:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2016.4},
doi = {10.4230/LIPICS.TYPES.2016.4},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/types/AschieriM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AschieriCG16,
author = {Federico Aschieri and
Agata Ciabattoni and
Francesco A. Genco},
title = {Curry-Howard Correspondence for G{\"{o}}del Logic: from Natural
Deduction to Parallel Computation},
journal = {CoRR},
volume = {abs/1607.05120},
year = {2016},
url = {http://arxiv.org/abs/1607.05120},
eprinttype = {arXiv},
eprint = {1607.05120},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AschieriCG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AschieriM16,
author = {Federico Aschieri and
Matteo Manighetti},
title = {On Natural Deduction for Herbrand Constructive Logics {II:} Curry-Howard
Correspondence for Markov's Principle in First-Order Logic and Arithmetic},
journal = {CoRR},
volume = {abs/1612.05457},
year = {2016},
url = {http://arxiv.org/abs/1612.05457},
eprinttype = {arXiv},
eprint = {1612.05457},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AschieriM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Aschieri15,
author = {Federico Aschieri},
title = {Game Semantics and the Geometry of Backtracking: a New Complexity
Analysis of Interaction},
journal = {CoRR},
volume = {abs/1511.06260},
year = {2015},
url = {http://arxiv.org/abs/1511.06260},
eprinttype = {arXiv},
eprint = {1511.06260},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Aschieri15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Aschieri14,
author = {Federico Aschieri},
title = {Interactive Realizability for second-order Heyting arithmetic with
{EM1} and {SK1}},
journal = {Math. Struct. Comput. Sci.},
volume = {24},
number = {6},
year = {2014},
url = {https://doi.org/10.1017/S0960129513000455},
doi = {10.1017/S0960129513000455},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Aschieri14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Aschieri13,
author = {Federico Aschieri},
title = {Learning based realizability for {HA} + {EM1} and 1-Backtracking games:
Soundness and completeness},
journal = {Ann. Pure Appl. Log.},
volume = {164},
number = {6},
pages = {591--617},
year = {2013},
url = {https://doi.org/10.1016/j.apal.2012.05.002},
doi = {10.1016/J.APAL.2012.05.002},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Aschieri13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/AschieriBB13,
author = {Federico Aschieri and
Stefano Berardi and
Giovanni Birolo},
editor = {Simona Ronchi Della Rocca},
title = {Realizability and Strong Normalization for a Curry-Howard Interpretation
of {HA} + {EM1}},
booktitle = {Computer Science Logic 2013 {(CSL} 2013), {CSL} 2013, September 2-5,
2013, Torino, Italy},
series = {LIPIcs},
volume = {23},
pages = {45--60},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2013},
url = {https://doi.org/10.4230/LIPIcs.CSL.2013.45},
doi = {10.4230/LIPICS.CSL.2013.45},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/AschieriBB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/AschieriZ13,
author = {Federico Aschieri and
Margherita Zorzi},
editor = {Masahito Hasegawa},
title = {Non-determinism, Non-termination and the Strong Normalization of System
{T}},
booktitle = {Typed Lambda Calculi and Applications, 11th International Conference,
{TLCA} 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7941},
pages = {31--47},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38946-7\_5},
doi = {10.1007/978-3-642-38946-7\_5},
timestamp = {Sun, 02 Oct 2022 16:16:31 +0200},
biburl = {https://dblp.org/rec/conf/tlca/AschieriZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/AschieriZ13,
author = {Federico Aschieri and
Margherita Zorzi},
editor = {Ralph Matthes and
Aleksy Schubert},
title = {A "Game Semantical" Intuitionistic Realizability Validating
Markov's Principle},
booktitle = {19th International Conference on Types for Proofs and Programs, {TYPES}
2013, April 22-26, 2013, Toulouse, France},
series = {LIPIcs},
volume = {26},
pages = {24--44},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2013},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2013.24},
doi = {10.4230/LIPICS.TYPES.2013.24},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/types/AschieriZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Aschieri13,
author = {Federico Aschieri},
editor = {Ugo de'Liguoro and
Alexis Saurin},
title = {Strong Normalization for {HA} + {EM1} by Non-Deterministic Choice},
booktitle = {Proceedings First Workshop on Control Operators and their Semantics,
{COS} 2013, Eindhoven, The Netherlands, June 24-25, 2013},
series = {{EPTCS}},
volume = {127},
pages = {1--14},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.127.1},
doi = {10.4204/EPTCS.127.1},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/Aschieri13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Aschieri12,
author = {Federico Aschieri},
title = {A constructive analysis of learning in Peano Arithmetic},
journal = {Ann. Pure Appl. Log.},
volume = {163},
number = {11},
pages = {1448--1470},
year = {2012},
url = {https://doi.org/10.1016/j.apal.2011.12.004},
doi = {10.1016/J.APAL.2011.12.004},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Aschieri12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Aschieri12,
author = {Federico Aschieri},
editor = {Patrick C{\'{e}}gielski and
Arnaud Durand},
title = {Interactive Realizability for Classical Peano Arithmetic with Skolem
Axioms},
booktitle = {Computer Science Logic (CSL'12) - 26th International Workshop/21st
Annual Conference of the EACSL, {CSL} 2012, September 3-6, 2012, Fontainebleau,
France},
series = {LIPIcs},
volume = {16},
pages = {31--45},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.CSL.2012.31},
doi = {10.4230/LIPICS.CSL.2012.31},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Aschieri12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-3114,
author = {Federico Aschieri and
Margherita Zorzi},
editor = {Herman Geuvers and
Ugo de'Liguoro},
title = {Interactive Realizability and the elimination of Skolem functions
in Peano Arithmetic},
booktitle = {Proceedings Fourth Workshop on Classical Logic and Computation, CL{\&}C
2012, Warwick, England, 8th July 2012},
series = {{EPTCS}},
volume = {97},
pages = {1--18},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.97.1},
doi = {10.4204/EPTCS.97.1},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-3114.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Aschieri11,
author = {Federico Aschieri},
title = {Learning, realizability and games in classical arithmetic},
school = {Queen Mary University of London, {UK}},
year = {2011},
url = {http://qmro.qmul.ac.uk/jspui/handle/123456789/2325},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Aschieri11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Aschieri11,
author = {Federico Aschieri},
editor = {Marc Bezem},
title = {Transfinite Update Procedures for Predicative Systems of Analysis},
booktitle = {Computer Science Logic, 25th International Workshop / 20th Annual
Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
Norway, Proceedings},
series = {LIPIcs},
volume = {12},
pages = {20--34},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.CSL.2011.20},
doi = {10.4230/LIPICS.CSL.2011.20},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Aschieri11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-1785,
author = {Federico Aschieri and
Stefano Berardi},
title = {Interactive Learning-Based Realizability for Heyting Arithmetic with
{EM1}},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {3},
year = {2010},
url = {http://arxiv.org/abs/1007.1785},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-1785.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1101-5441,
author = {Federico Aschieri},
editor = {Steffen van Bakel and
Stefano Berardi and
Ulrich Berger},
title = {Interactive Learning Based Realizability and 1-Backtracking Games},
booktitle = {Proceedings Third International Workshop on Classical Logic and Computation,
CL{\&}C 2010, Brno, Czech Republic, 21-22 August 2010},
series = {{EPTCS}},
volume = {47},
pages = {6--20},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.47.3},
doi = {10.4204/EPTCS.47.3},
timestamp = {Wed, 12 Sep 2018 01:05:12 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1101-5441.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/AschieriB09,
author = {Federico Aschieri and
Stefano Berardi},
editor = {Pierre{-}Louis Curien},
title = {Interactive Learning-Based Realizability Interpretation for Heyting
Arithmetic with {EM1}},
booktitle = {Typed Lambda Calculi and Applications, 9th International Conference,
{TLCA} 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5608},
pages = {20--34},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02273-9\_4},
doi = {10.1007/978-3-642-02273-9\_4},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/tlca/AschieriB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BiasiA08,
author = {Corrado Biasi and
Federico Aschieri},
title = {A Term Assignment for Polarized Bi-intuitionistic Logic and its Strong
Normalization},
journal = {Fundam. Informaticae},
volume = {84},
number = {2},
pages = {185--205},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi84-2-03},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BiasiA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-24 23:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
