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/tlca/tlca95.bht:"
download as .bib file
@inproceedings{DBLP:conf/tlca/AspertiL95,
author = {Andrea Asperti and
Cosimo Laneve},
editor = {Mariangiola Dezani{-}Ciancaglini and
Gordon D. Plotkin},
title = {Comparing Lambda-calculus translations in Sharing Graphs},
booktitle = {Typed Lambda Calculi and Applications, Second International Conference
on Typed Lambda Calculi and Applications, {TLCA} '95, Edinburgh, UK,
April 10-12, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {902},
pages = {1--15},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0014041},
doi = {10.1007/BFB0014041},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/AspertiL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/Barthe95,
author = {Gilles Barthe},
editor = {Mariangiola Dezani{-}Ciancaglini and
Gordon D. Plotkin},
title = {Extensions of Pure Type Systems},
booktitle = {Typed Lambda Calculi and Applications, Second International Conference
on Typed Lambda Calculi and Applications, {TLCA} '95, Edinburgh, UK,
April 10-12, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {902},
pages = {16--31},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0014042},
doi = {10.1007/BFB0014042},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/Barthe95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/BellucciAC95,
author = {Roberto Bellucci and
Mart{\'{\i}}n Abadi and
Pierre{-}Louis Curien},
editor = {Mariangiola Dezani{-}Ciancaglini and
Gordon D. Plotkin},
title = {A Model for Formal Parametric Polymorphism: {A} {PER} Interpretation
for System {R}},
booktitle = {Typed Lambda Calculi and Applications, Second International Conference
on Typed Lambda Calculi and Applications, {TLCA} '95, Edinburgh, UK,
April 10-12, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {902},
pages = {32--46},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0014043},
doi = {10.1007/BFB0014043},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/BellucciAC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/BerardiB95,
author = {Stefano Berardi and
Luca Boerio},
editor = {Mariangiola Dezani{-}Ciancaglini and
Gordon D. Plotkin},
title = {Using Subtyping in Program Optimization},
booktitle = {Typed Lambda Calculi and Applications, Second International Conference
on Typed Lambda Calculi and Applications, {TLCA} '95, Edinburgh, UK,
April 10-12, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {902},
pages = {63--77},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0014045},
doi = {10.1007/BFB0014045},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/BerardiB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/BerardiBC95,
author = {Stefano Berardi and
Marc Bezem and
Thierry Coquand},
editor = {Mariangiola Dezani{-}Ciancaglini and
Gordon D. Plotkin},
title = {A realization of the negative interpretation of the Axiom of Choice},
booktitle = {Typed Lambda Calculi and Applications, Second International Conference
on Typed Lambda Calculi and Applications, {TLCA} '95, Edinburgh, UK,
April 10-12, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {902},
pages = {47--62},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0014044},
doi = {10.1007/BFB0014044},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/BerardiBC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/Bierman95,
author = {Gavin M. Bierman},
editor = {Mariangiola Dezani{-}Ciancaglini and
Gordon D. Plotkin},
title = {What is a Categorical Model of Intuitionistic Linear Logic?},
booktitle = {Typed Lambda Calculi and Applications, Second International Conference
on Typed Lambda Calculi and Applications, {TLCA} '95, Edinburgh, UK,
April 10-12, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {902},
pages = {78--93},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0014046},
doi = {10.1007/BFB0014046},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/Bierman95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/Briaud95,
author = {Daniel Briaud},
editor = {Mariangiola Dezani{-}Ciancaglini and
Gordon D. Plotkin},
title = {An explicit Eta rewrite rule},
booktitle = {Typed Lambda Calculi and Applications, Second International Conference
on Typed Lambda Calculi and Applications, {TLCA} '95, Edinburgh, UK,
April 10-12, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {902},
pages = {94--108},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0014047},
doi = {10.1007/BFB0014047},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/Briaud95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/CoscoyKT95,
author = {Yann Coscoy and
Gilles Kahn and
Laurent Th{\'{e}}ry},
editor = {Mariangiola Dezani{-}Ciancaglini and
Gordon D. Plotkin},
title = {Extracting Text from Proofs},
booktitle = {Typed Lambda Calculi and Applications, Second International Conference
on Typed Lambda Calculi and Applications, {TLCA} '95, Edinburgh, UK,
April 10-12, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {902},
pages = {109--123},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0014048},
doi = {10.1007/BFB0014048},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/CoscoyKT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/CosmoP95,
author = {Roberto Di Cosmo and
Adolfo Piperno},
editor = {Mariangiola Dezani{-}Ciancaglini and
Gordon D. Plotkin},
title = {Expanding Extensional Polymorphism},
booktitle = {Typed Lambda Calculi and Applications, Second International Conference
on Typed Lambda Calculi and Applications, {TLCA} '95, Edinburgh, UK,
April 10-12, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {902},
pages = {139--153},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0014050},
doi = {10.1007/BFB0014050},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/CosmoP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/DespeyrouxFH95,
author = {Jo{\"{e}}lle Despeyroux and
Amy P. Felty and
Andr{\'{e}} Hirschowitz},
editor = {Mariangiola Dezani{-}Ciancaglini and
Gordon D. Plotkin},
title = {Higher-Order Abstract Syntax in Coq},
booktitle = {Typed Lambda Calculi and Applications, Second International Conference
on Typed Lambda Calculi and Applications, {TLCA} '95, Edinburgh, UK,
April 10-12, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {902},
pages = {124--138},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0014049},
doi = {10.1007/BFB0014049},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tlca/DespeyrouxFH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/Dowek95,
author = {Gilles Dowek},
editor = {Mariangiola Dezani{-}Ciancaglini and
Gordon D. Plotkin},
title = {Lambda-calculus, Combinators and the Comprehension Scheme},
booktitle = {Typed Lambda Calculi and Applications, Second International Conference
on Typed Lambda Calculi and Applications, {TLCA} '95, Edinburgh, UK,
April 10-12, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {902},
pages = {154--170},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0014051},
doi = {10.1007/BFB0014051},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/Dowek95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/Ghani95,
author = {Neil Ghani},
editor = {Mariangiola Dezani{-}Ciancaglini and
Gordon D. Plotkin},
title = {{\ss}n-Equality for Coproducts},
booktitle = {Typed Lambda Calculi and Applications, Second International Conference
on Typed Lambda Calculi and Applications, {TLCA} '95, Edinburgh, UK,
April 10-12, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {902},
pages = {171--185},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0014052},
doi = {10.1007/BFB0014052},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/Ghani95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/Goguen95,
author = {Healfdene Goguen},
editor = {Mariangiola Dezani{-}Ciancaglini and
Gordon D. Plotkin},
title = {Typed Operational Semantics},
booktitle = {Typed Lambda Calculi and Applications, Second International Conference
on Typed Lambda Calculi and Applications, {TLCA} '95, Edinburgh, UK,
April 10-12, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {902},
pages = {186--200},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0014053},
doi = {10.1007/BFB0014053},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/Goguen95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/Groote95,
author = {Philippe de Groote},
editor = {Mariangiola Dezani{-}Ciancaglini and
Gordon D. Plotkin},
title = {A Simple Calculus of Exception Handling},
booktitle = {Typed Lambda Calculi and Applications, Second International Conference
on Typed Lambda Calculi and Applications, {TLCA} '95, Edinburgh, UK,
April 10-12, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {902},
pages = {201--215},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0014054},
doi = {10.1007/BFB0014054},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/Groote95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/Hofmann95,
author = {Martin Hofmann},
editor = {Mariangiola Dezani{-}Ciancaglini and
Gordon D. Plotkin},
title = {A Simple Model for Quotient Types},
booktitle = {Typed Lambda Calculi and Applications, Second International Conference
on Typed Lambda Calculi and Applications, {TLCA} '95, Edinburgh, UK,
April 10-12, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {902},
pages = {216--234},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0014055},
doi = {10.1007/BFB0014055},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tlca/Hofmann95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/Holmes95,
author = {M. Randall Holmes},
editor = {Mariangiola Dezani{-}Ciancaglini and
Gordon D. Plotkin},
title = {Untyped lambda-Calculus with Relative Typing},
booktitle = {Typed Lambda Calculi and Applications, Second International Conference
on Typed Lambda Calculi and Applications, {TLCA} '95, Edinburgh, UK,
April 10-12, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {902},
pages = {235--248},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0014056},
doi = {10.1007/BFB0014056},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/Holmes95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/HonsellL95,
author = {Furio Honsell and
Marina Lenisa},
editor = {Mariangiola Dezani{-}Ciancaglini and
Gordon D. Plotkin},
title = {Final Semantics for untyped lambda-calculus},
booktitle = {Typed Lambda Calculi and Applications, Second International Conference
on Typed Lambda Calculi and Applications, {TLCA} '95, Edinburgh, UK,
April 10-12, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {902},
pages = {249--265},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0014057},
doi = {10.1007/BFB0014057},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/HonsellL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/Hurkens95,
author = {Antonius J. C. Hurkens},
editor = {Mariangiola Dezani{-}Ciancaglini and
Gordon D. Plotkin},
title = {A Simplification of Girard's Paradox},
booktitle = {Typed Lambda Calculi and Applications, Second International Conference
on Typed Lambda Calculi and Applications, {TLCA} '95, Edinburgh, UK,
April 10-12, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {902},
pages = {266--278},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0014058},
doi = {10.1007/BFB0014058},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/Hurkens95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/Kondoh95,
author = {Hidetaka Kondoh},
editor = {Mariangiola Dezani{-}Ciancaglini and
Gordon D. Plotkin},
title = {Basic Properties of Data Types with Inequational Refinements},
booktitle = {Typed Lambda Calculi and Applications, Second International Conference
on Typed Lambda Calculi and Applications, {TLCA} '95, Edinburgh, UK,
April 10-12, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {902},
pages = {279--296},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0014059},
doi = {10.1007/BFB0014059},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/Kondoh95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/KurataT95,
author = {Toshihiko Kurata and
Masako Takahashi},
editor = {Mariangiola Dezani{-}Ciancaglini and
Gordon D. Plotkin},
title = {Decidable Properties of Intersection Type Systems},
booktitle = {Typed Lambda Calculi and Applications, Second International Conference
on Typed Lambda Calculi and Applications, {TLCA} '95, Edinburgh, UK,
April 10-12, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {902},
pages = {297--311},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0014060},
doi = {10.1007/BFB0014060},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/KurataT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/Leclerc95,
author = {Fran{\c{c}}ois Leclerc},
editor = {Mariangiola Dezani{-}Ciancaglini and
Gordon D. Plotkin},
title = {Termination Proof of Term Rewriting System with the Multiset Path
Ordering. {A} Complete Development in the System Coq},
booktitle = {Typed Lambda Calculi and Applications, Second International Conference
on Typed Lambda Calculi and Applications, {TLCA} '95, Edinburgh, UK,
April 10-12, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {902},
pages = {312--327},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0014061},
doi = {10.1007/BFB0014061},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/Leclerc95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/Mellie95,
author = {Paul{-}Andr{\'{e}} Melli{\`{e}}s},
editor = {Mariangiola Dezani{-}Ciancaglini and
Gordon D. Plotkin},
title = {Typed lambda-calculi with explicit substitutions may not terminate},
booktitle = {Typed Lambda Calculi and Applications, Second International Conference
on Typed Lambda Calculi and Applications, {TLCA} '95, Edinburgh, UK,
April 10-12, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {902},
pages = {328--334},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0014062},
doi = {10.1007/BFB0014062},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/Mellie95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/Padovani95,
author = {Vincent Padovani},
editor = {Mariangiola Dezani{-}Ciancaglini and
Gordon D. Plotkin},
title = {On Equivalence Classes of Interpolation Equations},
booktitle = {Typed Lambda Calculi and Applications, Second International Conference
on Typed Lambda Calculi and Applications, {TLCA} '95, Edinburgh, UK,
April 10-12, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {902},
pages = {335--349},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0014063},
doi = {10.1007/BFB0014063},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/Padovani95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/PolS95,
author = {Jaco van de Pol and
Helmut Schwichtenberg},
editor = {Mariangiola Dezani{-}Ciancaglini and
Gordon D. Plotkin},
title = {Strict Functionals for Termination Proofs},
booktitle = {Typed Lambda Calculi and Applications, Second International Conference
on Typed Lambda Calculi and Applications, {TLCA} '95, Edinburgh, UK,
April 10-12, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {902},
pages = {350--364},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0014064},
doi = {10.1007/BFB0014064},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/PolS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/Pollack95,
author = {Robert Pollack},
editor = {Mariangiola Dezani{-}Ciancaglini and
Gordon D. Plotkin},
title = {A Verified Typechecker},
booktitle = {Typed Lambda Calculi and Applications, Second International Conference
on Typed Lambda Calculi and Applications, {TLCA} '95, Edinburgh, UK,
April 10-12, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {902},
pages = {365--380},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0014065},
doi = {10.1007/BFB0014065},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/Pollack95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/PravatoRR95,
author = {Alberto Pravato and
Simona Ronchi Della Rocca and
Luca Roversi},
editor = {Mariangiola Dezani{-}Ciancaglini and
Gordon D. Plotkin},
title = {Categorical semantics of the call-by-value lambda-calculus},
booktitle = {Typed Lambda Calculi and Applications, Second International Conference
on Typed Lambda Calculi and Applications, {TLCA} '95, Edinburgh, UK,
April 10-12, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {902},
pages = {381--396},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0014066},
doi = {10.1007/BFB0014066},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/PravatoRR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/RitterP95,
author = {Eike Ritter and
Andrew M. Pitts},
editor = {Mariangiola Dezani{-}Ciancaglini and
Gordon D. Plotkin},
title = {A Fully Abstract Translation between a Lambda-Calculus with Reference
Types and Standard {ML}},
booktitle = {Typed Lambda Calculi and Applications, Second International Conference
on Typed Lambda Calculi and Applications, {TLCA} '95, Edinburgh, UK,
April 10-12, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {902},
pages = {397--413},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0014067},
doi = {10.1007/BFB0014067},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/RitterP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/Simpson95,
author = {Alex K. Simpson},
editor = {Mariangiola Dezani{-}Ciancaglini and
Gordon D. Plotkin},
title = {Categorical completeness results for the simply-typed lambda-calculus},
booktitle = {Typed Lambda Calculi and Applications, Second International Conference
on Typed Lambda Calculi and Applications, {TLCA} '95, Edinburgh, UK,
April 10-12, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {902},
pages = {414--427},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0014068},
doi = {10.1007/BFB0014068},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/Simpson95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/Springintveld95,
author = {Jan Springintveld},
editor = {Mariangiola Dezani{-}Ciancaglini and
Gordon D. Plotkin},
title = {Third-Order Matching in the Presence of Type Constructors},
booktitle = {Typed Lambda Calculi and Applications, Second International Conference
on Typed Lambda Calculi and Applications, {TLCA} '95, Edinburgh, UK,
April 10-12, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {902},
pages = {428--442},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0014069},
doi = {10.1007/BFB0014069},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/Springintveld95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tlca/1995,
editor = {Mariangiola Dezani{-}Ciancaglini and
Gordon D. Plotkin},
title = {Typed Lambda Calculi and Applications, Second International Conference
on Typed Lambda Calculi and Applications, {TLCA} '95, Edinburgh, UK,
April 10-12, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {902},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0014040},
doi = {10.1007/BFB0014040},
isbn = {3-540-59048-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/1995.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-09-11 18:37 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:
