Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/types/types2003.bht:"
download as .bib file
@proceedings{DBLP:conf/types/2003,
editor = {Stefano Berardi and
Mario Coppo and
Ferruccio Damiani},
title = {Types for Proofs and Programs, International Workshop, {TYPES} 2003,
Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3085},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b98246},
doi = {10.1007/B98246},
isbn = {3-540-22164-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/Adams03,
author = {Robin Adams},
editor = {Stefano Berardi and
Mario Coppo and
Ferruccio Damiani},
title = {A Modular Hierarchy of Logical Frameworks},
booktitle = {Types for Proofs and Programs, International Workshop, {TYPES} 2003,
Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3085},
pages = {1--16},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24849-1\_1},
doi = {10.1007/978-3-540-24849-1\_1},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/types/Adams03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/AlessiBD03,
author = {Fabio Alessi and
Franco Barbanera and
Mariangiola Dezani{-}Ciancaglini},
editor = {Stefano Berardi and
Mario Coppo and
Ferruccio Damiani},
title = {Tailoring Filter Models},
booktitle = {Types for Proofs and Programs, International Workshop, {TYPES} 2003,
Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3085},
pages = {17--33},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24849-1\_2},
doi = {10.1007/978-3-540-24849-1\_2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/AlessiBD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/Ballarin03,
author = {Clemens Ballarin},
editor = {Stefano Berardi and
Mario Coppo and
Ferruccio Damiani},
title = {Locales and Locale Expressions in Isabelle/Isar},
booktitle = {Types for Proofs and Programs, International Workshop, {TYPES} 2003,
Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3085},
pages = {34--50},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24849-1\_3},
doi = {10.1007/978-3-540-24849-1\_3},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/Ballarin03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/Baro03,
author = {Sylvain Baro},
editor = {Stefano Berardi and
Mario Coppo and
Ferruccio Damiani},
title = {Introduction to PAF!, a Proof Assistant for {ML} Programs Verification},
booktitle = {Types for Proofs and Programs, International Workshop, {TYPES} 2003,
Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3085},
pages = {51--65},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24849-1\_4},
doi = {10.1007/978-3-540-24849-1\_4},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/Baro03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/Berghofer03,
author = {Stefan Berghofer},
editor = {Stefano Berardi and
Mario Coppo and
Ferruccio Damiani},
title = {A Constructive Proof of Higman's Lemma in Isabelle},
booktitle = {Types for Proofs and Programs, International Workshop, {TYPES} 2003,
Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3085},
pages = {66--82},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24849-1\_5},
doi = {10.1007/978-3-540-24849-1\_5},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/Berghofer03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/BettiniBL03,
author = {Lorenzo Bettini and
Viviana Bono and
Silvia Likavec},
editor = {Stefano Berardi and
Mario Coppo and
Ferruccio Damiani},
title = {A Core Calculus of Higher-Order Mixins and Classes},
booktitle = {Types for Proofs and Programs, International Workshop, {TYPES} 2003,
Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3085},
pages = {83--98},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24849-1\_6},
doi = {10.1007/978-3-540-24849-1\_6},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/BettiniBL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/BonoTU03,
author = {Viviana Bono and
Jerzy Tiuryn and
Pawel Urzyczyn},
editor = {Stefano Berardi and
Mario Coppo and
Ferruccio Damiani},
title = {Type Inference for Nested Self Types},
booktitle = {Types for Proofs and Programs, International Workshop, {TYPES} 2003,
Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3085},
pages = {99--114},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24849-1\_7},
doi = {10.1007/978-3-540-24849-1\_7},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/BonoTU03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/BradyMM03,
author = {Edwin C. Brady and
Conor McBride and
James McKinna},
editor = {Stefano Berardi and
Mario Coppo and
Ferruccio Damiani},
title = {Inductive Families Need Not Store Their Indices},
booktitle = {Types for Proofs and Programs, International Workshop, {TYPES} 2003,
Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3085},
pages = {115--129},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24849-1\_8},
doi = {10.1007/978-3-540-24849-1\_8},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/BradyMM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/Chrzaszcz03,
author = {Jacek Chrzaszcz},
editor = {Stefano Berardi and
Mario Coppo and
Ferruccio Damiani},
title = {Modules in Coq Are and Will Be Correct},
booktitle = {Types for Proofs and Programs, International Workshop, {TYPES} 2003,
Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3085},
pages = {130--146},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24849-1\_9},
doi = {10.1007/978-3-540-24849-1\_9},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/Chrzaszcz03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/CirsteaLW03,
author = {Horatiu Cirstea and
Luigi Liquori and
Benjamin Wack},
editor = {Stefano Berardi and
Mario Coppo and
Ferruccio Damiani},
title = {Rewriting Calculus with Fixpoints: Untyped and First-Order Systems},
booktitle = {Types for Proofs and Programs, International Workshop, {TYPES} 2003,
Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3085},
pages = {147--161},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24849-1\_10},
doi = {10.1007/978-3-540-24849-1\_10},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/CirsteaLW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/Corbineau03,
author = {Pierre Corbineau},
editor = {Stefano Berardi and
Mario Coppo and
Ferruccio Damiani},
title = {First-Order Reasoning in the Calculus of Inductive Constructions},
booktitle = {Types for Proofs and Programs, International Workshop, {TYPES} 2003,
Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3085},
pages = {162--177},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24849-1\_11},
doi = {10.1007/978-3-540-24849-1\_11},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/Corbineau03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/GambinoH03,
author = {Nicola Gambino and
Martin Hyland},
editor = {Stefano Berardi and
Mario Coppo and
Ferruccio Damiani},
title = {Wellfounded Trees and Dependent Polynomial Functors},
booktitle = {Types for Proofs and Programs, International Workshop, {TYPES} 2003,
Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3085},
pages = {210--225},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24849-1\_14},
doi = {10.1007/978-3-540-24849-1\_14},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/types/GambinoH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/GhilezanL03,
author = {Silvia Ghilezan and
Pierre Lescanne},
editor = {Stefano Berardi and
Mario Coppo and
Ferruccio Damiani},
title = {Classical Proofs, Typed Processes, and Intersection Types: Extended
Abstract},
booktitle = {Types for Proofs and Programs, International Workshop, {TYPES} 2003,
Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3085},
pages = {226--241},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24849-1\_15},
doi = {10.1007/978-3-540-24849-1\_15},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/GhilezanL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/HonsellL03,
author = {Furio Honsell and
Marina Lenisa},
editor = {Stefano Berardi and
Mario Coppo and
Ferruccio Damiani},
title = {"Wave-Style" Geometry of Interaction Models in Rel Are Graph-Like
Lambda-Models},
booktitle = {Types for Proofs and Programs, International Workshop, {TYPES} 2003,
Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3085},
pages = {242--258},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24849-1\_16},
doi = {10.1007/978-3-540-24849-1\_16},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/HonsellL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/HonsellS03,
author = {Furio Honsell and
Ivan Scagnetto},
editor = {Stefano Berardi and
Mario Coppo and
Ferruccio Damiani},
title = {Mobility Types in Coq},
booktitle = {Types for Proofs and Programs, International Workshop, {TYPES} 2003,
Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3085},
pages = {324--337},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24849-1\_21},
doi = {10.1007/978-3-540-24849-1\_21},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/HonsellS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/KiesslingL03,
author = {Robert Kie{\ss}ling and
Zhaohui Luo},
editor = {Stefano Berardi and
Mario Coppo and
Ferruccio Damiani},
title = {Coercions in Hindley-Milner Systems},
booktitle = {Types for Proofs and Programs, International Workshop, {TYPES} 2003,
Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3085},
pages = {259--275},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24849-1\_17},
doi = {10.1007/978-3-540-24849-1\_17},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/KiesslingL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/LagoMR03,
author = {Ugo Dal Lago and
Simone Martini and
Luca Roversi},
editor = {Stefano Berardi and
Mario Coppo and
Ferruccio Damiani},
title = {Higher-Order Linear Ramified Recurrence},
booktitle = {Types for Proofs and Programs, International Workshop, {TYPES} 2003,
Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3085},
pages = {178--193},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24849-1\_12},
doi = {10.1007/978-3-540-24849-1\_12},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/LagoMR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/LuoL03,
author = {Yong Luo and
Zhaohui Luo},
editor = {Stefano Berardi and
Mario Coppo and
Ferruccio Damiani},
title = {Combining Incoherent Coercions for Sigma-Types},
booktitle = {Types for Proofs and Programs, International Workshop, {TYPES} 2003,
Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3085},
pages = {276--292},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24849-1\_18},
doi = {10.1007/978-3-540-24849-1\_18},
timestamp = {Fri, 23 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/LuoL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/MomiglianoT03,
author = {Alberto Momigliano and
Alwen Fernanto Tiu},
editor = {Stefano Berardi and
Mario Coppo and
Ferruccio Damiani},
title = {Induction and Co-induction in Sequent Calculus},
booktitle = {Types for Proofs and Programs, International Workshop, {TYPES} 2003,
Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3085},
pages = {293--308},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24849-1\_19},
doi = {10.1007/978-3-540-24849-1\_19},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/MomiglianoT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/NiquiB03,
author = {Milad Niqui and
Yves Bertot},
editor = {Stefano Berardi and
Mario Coppo and
Ferruccio Damiani},
title = {QArith: Coq Formalisation of Lazy Rational Arithmetic},
booktitle = {Types for Proofs and Programs, International Workshop, {TYPES} 2003,
Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3085},
pages = {309--323},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24849-1\_20},
doi = {10.1007/978-3-540-24849-1\_20},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/NiquiB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/SantoP03,
author = {Jos{\'{e}} Esp{\'{\i}}rito Santo and
Lu{\'{\i}}s Pinto},
editor = {Stefano Berardi and
Mario Coppo and
Ferruccio Damiani},
title = {Confluence and Strong Normalisation of the Generalised Multiary ?-Calculus},
booktitle = {Types for Proofs and Programs, International Workshop, {TYPES} 2003,
Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3085},
pages = {194--209},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24849-1\_13},
doi = {10.1007/978-3-540-24849-1\_13},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/SantoP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/SolovievC03,
author = {Sergei Soloviev and
David Chemouil},
editor = {Stefano Berardi and
Mario Coppo and
Ferruccio Damiani},
title = {Some Algebraic Structures in Lambda-Calculus with Inductive Types},
booktitle = {Types for Proofs and Programs, International Workshop, {TYPES} 2003,
Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3085},
pages = {338--354},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24849-1\_22},
doi = {10.1007/978-3-540-24849-1\_22},
timestamp = {Tue, 02 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/types/SolovievC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/WatkinsCPW03,
author = {Kevin Watkins and
Iliano Cervesato and
Frank Pfenning and
David Walker},
editor = {Stefano Berardi and
Mario Coppo and
Ferruccio Damiani},
title = {A Concurrent Logical Framework: The Propositional Fragment},
booktitle = {Types for Proofs and Programs, International Workshop, {TYPES} 2003,
Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3085},
pages = {355--377},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24849-1\_23},
doi = {10.1007/978-3-540-24849-1\_23},
timestamp = {Tue, 09 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/WatkinsCPW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/Wiedijk03,
author = {Freek Wiedijk},
editor = {Stefano Berardi and
Mario Coppo and
Ferruccio Damiani},
title = {Formal Proof Sketches},
booktitle = {Types for Proofs and Programs, International Workshop, {TYPES} 2003,
Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3085},
pages = {378--393},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24849-1\_24},
doi = {10.1007/978-3-540-24849-1\_24},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/Wiedijk03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/Xi03,
author = {Hongwei Xi},
editor = {Stefano Berardi and
Mario Coppo and
Ferruccio Damiani},
title = {Applied Type System: Extended Abstract},
booktitle = {Types for Proofs and Programs, International Workshop, {TYPES} 2003,
Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3085},
pages = {394--408},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24849-1\_25},
doi = {10.1007/978-3-540-24849-1\_25},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/Xi03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-27 07:38 CEST from data curated 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:
