default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/ctcs/ctcs1987.bht:"
download as .bib file
@inproceedings{DBLP:conf/ctcs/BeierleV87,
author = {Christoph Beierle and
Angi Vo{\ss}},
editor = {David H. Pitt and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Viewing Implementations as an Institution},
booktitle = {Category Theory and Computer Science, Edinburgh, UK, September 7-9,
1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {283},
pages = {196--218},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18508-9\_27},
doi = {10.1007/3-540-18508-9\_27},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/BeierleV87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Benson87,
author = {David B. Benson},
editor = {David H. Pitt and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {The Category of Milner Processes is Exact},
booktitle = {Category Theory and Computer Science, Edinburgh, UK, September 7-9,
1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {283},
pages = {71--97},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18508-9\_21},
doi = {10.1007/3-540-18508-9\_21},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Benson87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Bernot87,
author = {Gilles Bernot},
editor = {David H. Pitt and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Good Functors... are Those Preserving Philosophy},
booktitle = {Category Theory and Computer Science, Edinburgh, UK, September 7-9,
1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {283},
pages = {182--195},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18508-9\_26},
doi = {10.1007/3-540-18508-9\_26},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Bernot87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/CoquandE87,
author = {Thierry Coquand and
Thomas Ehrhard},
editor = {David H. Pitt and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {An Equational Presentation of Higher Order Logic},
booktitle = {Category Theory and Computer Science, Edinburgh, UK, September 7-9,
1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {283},
pages = {40--56},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18508-9\_19},
doi = {10.1007/3-540-18508-9\_19},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/CoquandE87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Hagino87,
author = {Tatsuya Hagino},
editor = {David H. Pitt and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {A Typed Lambda Calculus with Categorical Type Constructors},
booktitle = {Category Theory and Computer Science, Edinburgh, UK, September 7-9,
1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {283},
pages = {140--157},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18508-9\_24},
doi = {10.1007/3-540-18508-9\_24},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Hagino87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/KasangianLP87,
author = {Stefano Kasangian and
Anna Labella and
Alberto Pettorossi},
editor = {David H. Pitt and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Enriched Categories for Local and Interaction Calculi},
booktitle = {Category Theory and Computer Science, Edinburgh, UK, September 7-9,
1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {283},
pages = {57--70},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18508-9\_20},
doi = {10.1007/3-540-18508-9\_20},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ctcs/KasangianLP87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Martini87,
author = {Simone Martini},
editor = {David H. Pitt and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {An Interval Model for Second-Order Lambda Calculus},
booktitle = {Category Theory and Computer Science, Edinburgh, UK, September 7-9,
1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {283},
pages = {219--237},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18508-9\_28},
doi = {10.1007/3-540-18508-9\_28},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Martini87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/McDillMS87,
author = {J. M. McDill and
Austin Melton and
George E. Strecker},
editor = {David H. Pitt and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {A Category of Galois Connections},
booktitle = {Category Theory and Computer Science, Edinburgh, UK, September 7-9,
1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {283},
pages = {290--300},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18508-9\_32},
doi = {10.1007/3-540-18508-9\_32},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/McDillMS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/MossMG87,
author = {Lawrence S. Moss and
Jos{\'{e}} Meseguer and
Joseph A. Goguen},
editor = {David H. Pitt and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Final Algebras, Cosemicomputable Algebras, and Degrees of Unsolvability},
booktitle = {Category Theory and Computer Science, Edinburgh, UK, September 7-9,
1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {283},
pages = {158--181},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18508-9\_25},
doi = {10.1007/3-540-18508-9\_25},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/MossMG87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Pitts87,
author = {Andrew M. Pitts},
editor = {David H. Pitt and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Polymorphism is Set Theoretic, Constructively},
booktitle = {Category Theory and Computer Science, Edinburgh, UK, September 7-9,
1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {283},
pages = {12--39},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18508-9\_18},
doi = {10.1007/3-540-18508-9\_18},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Pitts87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Proietti87,
author = {Maurizio Proietti},
editor = {David H. Pitt and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Connections Between Partial Maps Categories and Triops Theory},
booktitle = {Category Theory and Computer Science, Edinburgh, UK, September 7-9,
1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {283},
pages = {254--269},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18508-9\_30},
doi = {10.1007/3-540-18508-9\_30},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Proietti87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Robinson87,
author = {Edmund Robinson},
editor = {David H. Pitt and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Logical Aspects of Denotational Semantics},
booktitle = {Category Theory and Computer Science, Edinburgh, UK, September 7-9,
1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {283},
pages = {238--253},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18508-9\_29},
doi = {10.1007/3-540-18508-9\_29},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Robinson87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Rosolini87,
author = {Giuseppe Rosolini},
editor = {David H. Pitt and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Categories and Effective Computations},
booktitle = {Category Theory and Computer Science, Edinburgh, UK, September 7-9,
1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {283},
pages = {1--11},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18508-9\_17},
doi = {10.1007/3-540-18508-9\_17},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Rosolini87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/RydeheardS87,
author = {David E. Rydeheard and
John G. Stell},
editor = {David H. Pitt and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Foundations of Equational Deduction: {A} Categorical Treatment of
Equational Proofs and Unification Algorithms},
booktitle = {Category Theory and Computer Science, Edinburgh, UK, September 7-9,
1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {283},
pages = {114--139},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18508-9\_23},
doi = {10.1007/3-540-18508-9\_23},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ctcs/RydeheardS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Vickers87,
author = {Steven Vickers},
editor = {David H. Pitt and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {A Fixpoint Construction of the p-adic Domain},
booktitle = {Category Theory and Computer Science, Edinburgh, UK, September 7-9,
1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {283},
pages = {270--289},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18508-9\_31},
doi = {10.1007/3-540-18508-9\_31},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Vickers87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Winskel87,
author = {Glynn Winskel},
editor = {David H. Pitt and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Relating Two Models of Hardware},
booktitle = {Category Theory and Computer Science, Edinburgh, UK, September 7-9,
1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {283},
pages = {98--113},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18508-9\_22},
doi = {10.1007/3-540-18508-9\_22},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Winskel87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ctcs/1987,
editor = {David H. Pitt and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Category Theory and Computer Science, Edinburgh, UK, September 7-9,
1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {283},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18508-9},
doi = {10.1007/3-540-18508-9},
isbn = {3-540-18508-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/1987.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.
retrieved on 2025-01-19 15:30 CET 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:
