![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/tlca/tlca95.bht:"
@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} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.