Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/ctcs:"
download as .bib file
@proceedings{DBLP:conf/ctcs/2004,
editor = {Lars Birkedal},
title = {Proceedings of the 10th Conference on Category Theory in Computer
Science, {CTCS} 2004, Copenhagen, Denmark, August 12-14, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {122},
publisher = {Elsevier},
year = {2005},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/122/suppl/C},
timestamp = {Fri, 17 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ctcs/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AdamekMV05,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Jir{\'{\i}} Velebil},
editor = {Lars Birkedal},
title = {Iterative Algebras for a Base},
booktitle = {Proceedings of the 10th Conference on Category Theory in Computer
Science, {CTCS} 2004, Copenhagen, Denmark, August 12-14, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {122},
pages = {147--170},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.056},
doi = {10.1016/J.ENTCS.2004.06.056},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/AdamekMV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Birkedal05,
author = {Lars Birkedal},
editor = {Lars Birkedal},
title = {Preface},
booktitle = {Proceedings of the 10th Conference on Category Theory in Computer
Science, {CTCS} 2004, Copenhagen, Denmark, August 12-14, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {122},
pages = {1},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.11.009},
doi = {10.1016/J.ENTCS.2004.11.009},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Birkedal05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CaccamoW05,
author = {Mario C{\'{a}}ccamo and
Glynn Winskel},
editor = {Lars Birkedal},
title = {Limit Preservation from Naturality},
booktitle = {Proceedings of the 10th Conference on Category Theory in Computer
Science, {CTCS} 2004, Copenhagen, Denmark, August 12-14, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {122},
pages = {3--22},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.048},
doi = {10.1016/J.ENTCS.2004.06.048},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CaccamoW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CockettP05,
author = {J. Robin B. Cockett and
Craig A. Pastro},
editor = {Lars Birkedal},
title = {A Language For Multiplicative-additive Linear Logic},
booktitle = {Proceedings of the 10th Conference on Category Theory in Computer
Science, {CTCS} 2004, Copenhagen, Denmark, August 12-14, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {122},
pages = {23--65},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.049},
doi = {10.1016/J.ENTCS.2004.06.049},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CockettP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FerreiraR05,
author = {Ana Paula L{\"{u}}dtke Ferreira and
Leila Ribeiro},
editor = {Lars Birkedal},
title = {A Graph-based Semantics For Object-oriented Programming Constructs},
booktitle = {Proceedings of the 10th Conference on Category Theory in Computer
Science, {CTCS} 2004, Copenhagen, Denmark, August 12-14, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {122},
pages = {89--104},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.053},
doi = {10.1016/J.ENTCS.2004.06.053},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/FerreiraR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HaghverdiS05,
author = {Esfandiar Haghverdi and
Philip J. Scott},
editor = {Lars Birkedal},
title = {From Geometry of Interaction to Denotational Semantics},
booktitle = {Proceedings of the 10th Conference on Category Theory in Computer
Science, {CTCS} 2004, Copenhagen, Denmark, August 12-14, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {122},
pages = {67--87},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.052},
doi = {10.1016/J.ENTCS.2004.06.052},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HaghverdiS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Maietti05,
author = {Maria Emilia Maietti},
editor = {Lars Birkedal},
title = {Reflection Into Models of Finite Decidable FP-sketches in an Arithmetic
Universe},
booktitle = {Proceedings of the 10th Conference on Category Theory in Computer
Science, {CTCS} 2004, Copenhagen, Denmark, August 12-14, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {122},
pages = {105--126},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.054},
doi = {10.1016/J.ENTCS.2004.06.054},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Maietti05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Mellies05,
author = {Paul{-}Andr{\'{e}} Melli{\`{e}}s},
editor = {Lars Birkedal},
title = {Asynchronous Games 3 An Innocent Model of Linear Logic},
booktitle = {Proceedings of the 10th Conference on Category Theory in Computer
Science, {CTCS} 2004, Copenhagen, Denmark, August 12-14, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {122},
pages = {171--192},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.057},
doi = {10.1016/J.ENTCS.2004.06.057},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Mellies05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MengABN05,
author = {Sun Meng and
Bernhard K. Aichernig and
Lu{\'{\i}}s Soares Barbosa and
Zhang Naixiao},
editor = {Lars Birkedal},
title = {A Coalgebraic Semantic Framework for Component-based Development in
{UML}},
booktitle = {Proceedings of the 10th Conference on Category Theory in Computer
Science, {CTCS} 2004, Copenhagen, Denmark, August 12-14, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {122},
pages = {229--245},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.051},
doi = {10.1016/J.ENTCS.2004.06.051},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MengABN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MichelbrinkS05,
author = {Markus Michelbrink and
Anton Setzer},
editor = {Lars Birkedal},
title = {State Dependent IO-Monads in Type Theory},
booktitle = {Proceedings of the 10th Conference on Category Theory in Computer
Science, {CTCS} 2004, Copenhagen, Denmark, August 12-14, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {122},
pages = {127--146},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.055},
doi = {10.1016/J.ENTCS.2004.06.055},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MichelbrinkS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SchalkP05,
author = {Andrea Schalk and
Jos{\'{e}} Juan Palacios P{\'{e}}rez},
editor = {Lars Birkedal},
title = {Concrete Data Structures as Games},
booktitle = {Proceedings of the 10th Conference on Category Theory in Computer
Science, {CTCS} 2004, Copenhagen, Denmark, August 12-14, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {122},
pages = {193--210},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.058},
doi = {10.1016/J.ENTCS.2004.06.058},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SchalkP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SokolovaVW05,
author = {Ana Sokolova and
Erik P. de Vink and
Harald Woracek},
editor = {Lars Birkedal},
title = {Weak Bisimulation for Action-Type Coalgebras: (Extended Abstract)},
booktitle = {Proceedings of the 10th Conference on Category Theory in Computer
Science, {CTCS} 2004, Copenhagen, Denmark, August 12-14, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {122},
pages = {211--228},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.050},
doi = {10.1016/J.ENTCS.2004.06.050},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SokolovaVW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Taylor05,
author = {Paul Taylor},
editor = {Lars Birkedal},
title = {Inside Every Model of Abstract Stone Duality Lies an Arithmetic Universe},
booktitle = {Proceedings of the 10th Conference on Category Theory in Computer
Science, {CTCS} 2004, Copenhagen, Denmark, August 12-14, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {122},
pages = {247--296},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.059},
doi = {10.1016/J.ENTCS.2004.06.059},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Taylor05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AbramskyC02,
author = {Samson Abramsky and
Bob Coecke},
editor = {Richard Blute and
Peter Selinger},
title = {Physical Traces: Quantum vs. Classical Information Processing},
booktitle = {Category Theory and Computer Science, {CTCS} 2002, Ottawa, Canada,
August 15-17, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {69},
pages = {1--22},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80556-5},
doi = {10.1016/S1571-0661(04)80556-5},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AbramskyC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AdamekMV02a,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Jir{\'{\i}} Velebil},
editor = {Richard Blute and
Peter Selinger},
title = {On Rational Monads and Free Iterative Theories},
booktitle = {Category Theory and Computer Science, {CTCS} 2002, Ottawa, Canada,
August 15-17, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {69},
pages = {23--46},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80557-7},
doi = {10.1016/S1571-0661(04)80557-7},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/AdamekMV02a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BloomE02,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik},
editor = {Richard Blute and
Peter Selinger},
title = {Unique, guarded fixed points in an additive setting: Extended Abstract},
booktitle = {Category Theory and Computer Science, {CTCS} 2002, Ottawa, Canada,
August 15-17, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {69},
pages = {47--61},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80558-9},
doi = {10.1016/S1571-0661(04)80558-9},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BloomE02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BluteS02,
author = {Richard Blute and
Peter Selinger},
editor = {Richard Blute and
Peter Selinger},
title = {Preface},
booktitle = {Category Theory and Computer Science, {CTCS} 2002, Ottawa, Canada,
August 15-17, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {69},
pages = {362--365},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80574-2},
doi = {10.1016/S1571-0661(05)80574-2},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BluteS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Boudes02,
author = {Pierre Boudes},
editor = {Richard Blute and
Peter Selinger},
title = {Non-Uniform Hypercoherences},
booktitle = {Category Theory and Computer Science, {CTCS} 2002, Ottawa, Canada,
August 15-17, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {69},
pages = {62--82},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80559-0},
doi = {10.1016/S1571-0661(04)80559-0},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Boudes02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CocciaGM02,
author = {Matteo Coccia and
Fabio Gadducci and
Ugo Montanari},
editor = {Richard Blute and
Peter Selinger},
title = {GS.Lambda Theories: {A} Syntax for Higher-Order Graphs},
booktitle = {Category Theory and Computer Science, {CTCS} 2002, Ottawa, Canada,
August 15-17, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {69},
pages = {83--100},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80560-7},
doi = {10.1016/S1571-0661(04)80560-7},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CocciaGM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CockettS02,
author = {J. Robin B. Cockett and
Luigi Santocanale},
editor = {Richard Blute and
Peter Selinger},
title = {Induction, Coinduction, and Adjoints},
booktitle = {Category Theory and Computer Science, {CTCS} 2002, Ottawa, Canada,
August 15-17, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {69},
pages = {101--119},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80561-9},
doi = {10.1016/S1571-0661(04)80561-9},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CockettS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HaghverdiTP02,
author = {Esfandiar Haghverdi and
Paulo Tabuada and
George J. Pappas},
editor = {Richard Blute and
Peter Selinger},
title = {Bisimulation Relations for Dynamical and Control Systems},
booktitle = {Category Theory and Computer Science, {CTCS} 2002, Ottawa, Canada,
August 15-17, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {69},
pages = {120--136},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80562-0},
doi = {10.1016/S1571-0661(04)80562-0},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/HaghverdiTP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Hasegawa02,
author = {Masahito Hasegawa},
editor = {Richard Blute and
Peter Selinger},
title = {The Uniformity Principle on Traced Monoidal Categories},
booktitle = {Category Theory and Computer Science, {CTCS} 2002, Ottawa, Canada,
August 15-17, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {69},
pages = {137--155},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80563-2},
doi = {10.1016/S1571-0661(04)80563-2},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Hasegawa02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HughesJ02,
author = {Jesse Hughes and
Bart Jacobs},
editor = {Richard Blute and
Peter Selinger},
title = {Factorization systems and fibrations: Toward a fibred Birkhoff variety
theorem},
booktitle = {Category Theory and Computer Science, {CTCS} 2002, Ottawa, Canada,
August 15-17, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {69},
pages = {156--182},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80564-4},
doi = {10.1016/S1571-0661(04)80564-4},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HughesJ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Koslowski02,
author = {J{\"{u}}rgen Koslowski},
editor = {Richard Blute and
Peter Selinger},
title = {A monadic approach to polycategories},
booktitle = {Category Theory and Computer Science, {CTCS} 2002, Ottawa, Canada,
August 15-17, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {69},
pages = {183--208},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80565-6},
doi = {10.1016/S1571-0661(04)80565-6},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Koslowski02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Laird02,
author = {James Laird},
editor = {Richard Blute and
Peter Selinger},
title = {A Categorical Semantics of Higher Order Store},
booktitle = {Category Theory and Computer Science, {CTCS} 2002, Ottawa, Canada,
August 15-17, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {69},
pages = {209--226},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80566-8},
doi = {10.1016/S1571-0661(04)80566-8},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Laird02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Lamarche02,
author = {Fran{\c{c}}ois Lamarche},
editor = {Richard Blute and
Peter Selinger},
title = {Multiplicative Linear Logics and Fibrations},
booktitle = {Category Theory and Computer Science, {CTCS} 2002, Ottawa, Canada,
August 15-17, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {69},
pages = {227--247},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80567-X},
doi = {10.1016/S1571-0661(04)80567-X},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Lamarche02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Levy02,
author = {Paul Blain Levy},
editor = {Richard Blute and
Peter Selinger},
title = {Adjunction Models For Call-By-Push-Value With Stacks},
booktitle = {Category Theory and Computer Science, {CTCS} 2002, Ottawa, Canada,
August 15-17, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {69},
pages = {248--271},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80568-1},
doi = {10.1016/S1571-0661(04)80568-1},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Levy02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Maietti02,
author = {Maria Emilia Maietti},
editor = {Richard Blute and
Peter Selinger},
title = {Joyal's arithmetic universes via type theory},
booktitle = {Category Theory and Computer Science, {CTCS} 2002, Ottawa, Canada,
August 15-17, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {69},
pages = {272--286},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80569-3},
doi = {10.1016/S1571-0661(04)80569-3},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Maietti02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Milius02,
author = {Stefan Milius},
editor = {Richard Blute and
Peter Selinger},
title = {On Iteratable Endofunctors},
booktitle = {Category Theory and Computer Science, {CTCS} 2002, Ottawa, Canada,
August 15-17, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {69},
pages = {287--304},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80570-X},
doi = {10.1016/S1571-0661(04)80570-X},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Milius02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Schroder02a,
author = {Lutz Schr{\"{o}}der},
editor = {Richard Blute and
Peter Selinger},
title = {Classifying categories for partial equational logic},
booktitle = {Category Theory and Computer Science, {CTCS} 2002, Ottawa, Canada,
August 15-17, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {69},
pages = {305--322},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80571-1},
doi = {10.1016/S1571-0661(04)80571-1},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Schroder02a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Taylor02,
author = {Paul Taylor},
editor = {Richard Blute and
Peter Selinger},
title = {Local Compactness and the Baire Category Theorem in Abstract Stone
Duality},
booktitle = {Category Theory and Computer Science, {CTCS} 2002, Ottawa, Canada,
August 15-17, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {69},
pages = {323--345},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80572-3},
doi = {10.1016/S1571-0661(04)80572-3},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Taylor02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Worytkiewicz02a,
author = {Krzysztof Worytkiewicz},
editor = {Richard Blute and
Peter Selinger},
title = {Paths and Simulations},
booktitle = {Category Theory and Computer Science, {CTCS} 2002, Ottawa, Canada,
August 15-17, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {69},
pages = {346--361},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80573-5},
doi = {10.1016/S1571-0661(04)80573-5},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Worytkiewicz02a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ctcs/2002,
editor = {Richard Blute and
Peter Selinger},
title = {Category Theory and Computer Science, {CTCS} 2002, Ottawa, Canada,
August 15-17, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {69},
publisher = {Elsevier},
year = {2002},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/69/suppl/C},
timestamp = {Fri, 17 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ctcs/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/BednarczykB99,
author = {Marek A. Bednarczyk and
Andrzej M. Borzyszkowski},
editor = {Martin Hofmann and
Giuseppe Rosolini and
Dusko Pavlovic},
title = {Concurrent Realizations of Reactive Systems},
booktitle = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
UK, December 10-12, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {29},
pages = {2--20},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80301-9},
doi = {10.1016/S1571-0661(05)80301-9},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BednarczykB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/BruniMMS99,
author = {Roberto Bruni and
Jos{\'{e}} Meseguer and
Ugo Montanari and
Vladimiro Sassone},
editor = {Martin Hofmann and
Giuseppe Rosolini and
Dusko Pavlovic},
title = {Functorial semantics for Petri nets under the individual token philosophy},
booktitle = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
UK, December 10-12, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {29},
pages = {21},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80302-0},
doi = {10.1016/S1571-0661(05)80302-0},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BruniMMS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/BucaloFS99,
author = {Anna Bucalo and
Carsten F{\"{u}}hrmann and
Alex K. Simpson},
editor = {Martin Hofmann and
Giuseppe Rosolini and
Dusko Pavlovic},
title = {Equational Lifting Monads},
booktitle = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
UK, December 10-12, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {29},
pages = {22},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80303-2},
doi = {10.1016/S1571-0661(05)80303-2},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BucaloFS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/DuranM99,
author = {Francisco Dur{\'{a}}n and
Jos{\'{e}} Meseguer},
editor = {Martin Hofmann and
Giuseppe Rosolini and
Dusko Pavlovic},
title = {Structured Theories and Institutions},
booktitle = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
UK, December 10-12, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {29},
pages = {23--41},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80304-4},
doi = {10.1016/S1571-0661(05)80304-4},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/DuranM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/Eppendahl99,
author = {Adam Eppendahl},
editor = {Martin Hofmann and
Giuseppe Rosolini and
Dusko Pavlovic},
title = {Coalgebra-to-Algebra Morphisms},
booktitle = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
UK, December 10-12, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {29},
pages = {42--49},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80305-6},
doi = {10.1016/S1571-0661(05)80305-6},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Eppendahl99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/Errington99,
author = {Lindsay Errington},
editor = {Martin Hofmann and
Giuseppe Rosolini and
Dusko Pavlovic},
title = {On the Semantics of Message Passing Processes},
booktitle = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
UK, December 10-12, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {29},
pages = {50--77},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80306-8},
doi = {10.1016/S1571-0661(05)80306-8},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Errington99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/Fiore99,
author = {Marcelo P. Fiore},
editor = {Martin Hofmann and
Giuseppe Rosolini and
Dusko Pavlovic},
title = {Fibred models of processes},
booktitle = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
UK, December 10-12, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {29},
pages = {78},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80307-X},
doi = {10.1016/S1571-0661(05)80307-X},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Fiore99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/Freyd99,
author = {Peter J. Freyd},
editor = {Martin Hofmann and
Giuseppe Rosolini and
Dusko Pavlovic},
title = {Path Integrals, Bayesian Vision, and Is Gaussian Quadrature Really
Good?},
booktitle = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
UK, December 10-12, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {29},
pages = {79},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80308-1},
doi = {10.1016/S1571-0661(05)80308-1},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Freyd99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/GadducciHL99,
author = {Fabio Gadducci and
Reiko Heckel and
Merc{\`{e}} Llabr{\'{e}}s},
editor = {Martin Hofmann and
Giuseppe Rosolini and
Dusko Pavlovic},
title = {A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting},
booktitle = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
UK, December 10-12, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {29},
pages = {80--100},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80309-3},
doi = {10.1016/S1571-0661(05)80309-3},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GadducciHL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/Hasegawa99,
author = {Ryu Hasegawa},
editor = {Martin Hofmann and
Giuseppe Rosolini and
Dusko Pavlovic},
title = {Several Applications of Analytic Functors to Theoretical Computer
Science},
booktitle = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
UK, December 10-12, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {29},
pages = {101},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80310-X},
doi = {10.1016/S1571-0661(05)80310-X},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Hasegawa99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/Hildebrandt99,
author = {Thomas T. Hildebrandt},
editor = {Martin Hofmann and
Giuseppe Rosolini and
Dusko Pavlovic},
title = {A Fully abstract presheaf semantics for {SCCS} with finite delay},
booktitle = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
UK, December 10-12, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {29},
pages = {102--126},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80311-1},
doi = {10.1016/S1571-0661(05)80311-1},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Hildebrandt99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/HofmannRP99,
author = {Martin Hofmann and
Giuseppe Rosolini and
Dusko Pavlovic},
editor = {Martin Hofmann and
Giuseppe Rosolini and
Dusko Pavlovic},
title = {Preface},
booktitle = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
UK, December 10-12, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {29},
pages = {1},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80300-7},
doi = {10.1016/S1571-0661(05)80300-7},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HofmannRP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/HylandS99,
author = {Martin Hyland and
Andrea Schalk},
editor = {Martin Hofmann and
Giuseppe Rosolini and
Dusko Pavlovic},
title = {Abstract Games for Linear Logic},
booktitle = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
UK, December 10-12, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {29},
pages = {127--150},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80312-3},
doi = {10.1016/S1571-0661(05)80312-3},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HylandS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/KohO99,
author = {Thong wei Koh and
C.{-}H. Luke Ong},
editor = {Martin Hofmann and
Giuseppe Rosolini and
Dusko Pavlovic},
title = {Internal Languages for Autonomous and *-Autonomous Categories},
booktitle = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
UK, December 10-12, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {29},
pages = {151},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80313-5},
doi = {10.1016/S1571-0661(05)80313-5},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KohO99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/LuoS99,
author = {Zhaohui Luo and
Sergei Soloviev},
editor = {Martin Hofmann and
Giuseppe Rosolini and
Dusko Pavlovic},
title = {Dependent Coercions},
booktitle = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
UK, December 10-12, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {29},
pages = {152--168},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80314-7},
doi = {10.1016/S1571-0661(05)80314-7},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LuoS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/MateusSS99,
author = {Paulo Mateus and
Am{\'{\i}}lcar Sernadas and
Cristina Sernadas},
editor = {Martin Hofmann and
Giuseppe Rosolini and
Dusko Pavlovic},
title = {Precategories for combining probabilistic automata},
booktitle = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
UK, December 10-12, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {29},
pages = {169--186},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80315-9},
doi = {10.1016/S1571-0661(05)80315-9},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MateusSS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/MoggiBJ99,
author = {Eugenio Moggi and
Gianna Bell{\`{e}} and
C. Barry Jay},
editor = {Martin Hofmann and
Giuseppe Rosolini and
Dusko Pavlovic},
title = {Monads, shapely functors, and traversals},
booktitle = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
UK, December 10-12, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {29},
pages = {187--208},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80316-0},
doi = {10.1016/S1571-0661(05)80316-0},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MoggiBJ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/MurawskiO99,
author = {Andrzej S. Murawski and
C.{-}H. Luke Ong},
editor = {Martin Hofmann and
Giuseppe Rosolini and
Dusko Pavlovic},
title = {Exhausting Strategies, Joker Games and {IMLL} with Units},
booktitle = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
UK, December 10-12, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {29},
pages = {209--239},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80317-2},
doi = {10.1016/S1571-0661(05)80317-2},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MurawskiO99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/Paseka99,
author = {Jan Paseka},
editor = {Martin Hofmann and
Giuseppe Rosolini and
Dusko Pavlovic},
title = {Hilbert Q-Modules and Nuclear Ideals in the Category of v-Semilattices
with a Duality},
booktitle = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
UK, December 10-12, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {29},
pages = {240--258},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80318-4},
doi = {10.1016/S1571-0661(05)80318-4},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Paseka99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/PowerT99,
author = {John Power and
Daniele Turi},
editor = {Martin Hofmann and
Giuseppe Rosolini and
Dusko Pavlovic},
title = {A Coalgebraic Foundation for Linear Time Semantics},
booktitle = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
UK, December 10-12, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {29},
pages = {259--274},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80319-6},
doi = {10.1016/S1571-0661(05)80319-6},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/PowerT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/Smith99,
author = {Douglas R. Smith},
editor = {Martin Hofmann and
Giuseppe Rosolini and
Dusko Pavlovic},
title = {Designware: Software Development by Refinement},
booktitle = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
UK, December 10-12, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {29},
pages = {275--287},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80320-2},
doi = {10.1016/S1571-0661(05)80320-2},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Smith99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/Streicher99,
author = {Thomas Streicher},
editor = {Martin Hofmann and
Giuseppe Rosolini and
Dusko Pavlovic},
title = {Denotational Completeness Revisited},
booktitle = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
UK, December 10-12, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {29},
pages = {288--300},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80321-4},
doi = {10.1016/S1571-0661(05)80321-4},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Streicher99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/Tsuiki99,
author = {Hideki Tsuiki},
editor = {Martin Hofmann and
Giuseppe Rosolini and
Dusko Pavlovic},
title = {A domain-theoretic semantics of lax generic functions},
booktitle = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
UK, December 10-12, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {29},
pages = {301--324},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80322-6},
doi = {10.1016/S1571-0661(05)80322-6},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Tsuiki99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/Wehr99,
author = {Martin Wehr},
editor = {Martin Hofmann and
Giuseppe Rosolini and
Dusko Pavlovic},
title = {Higher-dimensional syntax},
booktitle = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
UK, December 10-12, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {29},
pages = {325--353},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80323-8},
doi = {10.1016/S1571-0661(05)80323-8},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Wehr99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ctcs/1999,
editor = {Martin Hofmann and
Giuseppe Rosolini and
Dusko Pavlovic},
title = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
UK, December 10-12, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {29},
publisher = {Elsevier},
year = {1999},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/29/suppl/C},
timestamp = {Fri, 17 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ctcs/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/AndreevS97,
author = {Alexander E. Andreev and
Sergei Soloviev},
editor = {Eugenio Moggi and
Giuseppe Rosolini},
title = {A Deciding Algorithm for Linear Isomorphism of Types with Complexity
{O} (n log\({}^{\mbox{2}}\)(n))},
booktitle = {Category Theory and Computer Science, 7th International Conference,
{CTCS} '97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1290},
pages = {197--209},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0026989},
doi = {10.1007/BFB0026989},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/AndreevS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Baez97,
author = {John C. Baez},
editor = {Eugenio Moggi and
Giuseppe Rosolini},
title = {An Introduction to \emph{n}-Categories},
booktitle = {Category Theory and Computer Science, 7th International Conference,
{CTCS} '97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1290},
pages = {1--33},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0026978},
doi = {10.1007/BFB0026978},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ctcs/Baez97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Bird97,
author = {Richard S. Bird},
editor = {Eugenio Moggi and
Giuseppe Rosolini},
title = {Allegories as a Basis for Algorithmics},
booktitle = {Category Theory and Computer Science, 7th International Conference,
{CTCS} '97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1290},
pages = {34--46},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0026979},
doi = {10.1007/BFB0026979},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Bird97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/BucaloR97,
author = {Anna Bucalo and
Giuseppe Rosolini},
editor = {Eugenio Moggi and
Giuseppe Rosolini},
title = {Lifting},
booktitle = {Category Theory and Computer Science, 7th International Conference,
{CTCS} '97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1290},
pages = {281--292},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0026994},
doi = {10.1007/BFB0026994},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/BucaloR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/CattaniSW97,
author = {Gian Luca Cattani and
Ian Stark and
Glynn Winskel},
editor = {Eugenio Moggi and
Giuseppe Rosolini},
title = {Presheaf Models for the pi-Calculus},
booktitle = {Category Theory and Computer Science, 7th International Conference,
{CTCS} '97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1290},
pages = {106--126},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0026984},
doi = {10.1007/BFB0026984},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/CattaniSW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/CorradiniG97,
author = {Andrea Corradini and
Fabio Gadducci},
editor = {Eugenio Moggi and
Giuseppe Rosolini},
title = {A 2-Categorical Presentation of Term Graph Rewriting},
booktitle = {Category Theory and Computer Science, 7th International Conference,
{CTCS} '97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1290},
pages = {87--105},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0026983},
doi = {10.1007/BFB0026983},
timestamp = {Sat, 04 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/CorradiniG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/HenselJ97,
author = {Ulrich Hensel and
Bart Jacobs},
editor = {Eugenio Moggi and
Giuseppe Rosolini},
title = {Proof Principles for Datatypes with Iterated Recursion},
booktitle = {Category Theory and Computer Science, 7th International Conference,
{CTCS} '97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1290},
pages = {220--241},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0026991},
doi = {10.1007/BFB0026991},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/HenselJ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/HoogendijkB97,
author = {Paul F. Hoogendijk and
Roland Carl Backhouse},
editor = {Eugenio Moggi and
Giuseppe Rosolini},
title = {When Do Datatypes Commute?},
booktitle = {Category Theory and Computer Science, 7th International Conference,
{CTCS} '97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1290},
pages = {242--260},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0026992},
doi = {10.1007/BFB0026992},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/HoogendijkB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Jay97,
author = {C. Barry Jay},
editor = {Eugenio Moggi and
Giuseppe Rosolini},
title = {Separating Shape from Data},
booktitle = {Category Theory and Computer Science, 7th International Conference,
{CTCS} '97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1290},
pages = {47--48},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0026980},
doi = {10.1007/BFB0026980},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Jay97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/LellahiT97,
author = {S. Kazem Lellahi and
Val Tannen},
editor = {Eugenio Moggi and
Giuseppe Rosolini},
title = {A Calculus for Collections and Aggregates},
booktitle = {Category Theory and Computer Science, 7th International Conference,
{CTCS} '97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1290},
pages = {261--280},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0026993},
doi = {10.1007/BFB0026993},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/LellahiT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/LuethG97,
author = {Christoph L{\"{u}}th and
Neil Ghani},
editor = {Eugenio Moggi and
Giuseppe Rosolini},
title = {Monads and Modular Term Rewriting},
booktitle = {Category Theory and Computer Science, 7th International Conference,
{CTCS} '97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1290},
pages = {69--86},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0026982},
doi = {10.1007/BFB0026982},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/LuethG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Mellies97,
author = {Paul{-}Andr{\'{e}} Melli{\`{e}}s},
editor = {Eugenio Moggi and
Giuseppe Rosolini},
title = {A Factorisation Theorem in Rewriting Theory},
booktitle = {Category Theory and Computer Science, 7th International Conference,
{CTCS} '97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1290},
pages = {49--68},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0026981},
doi = {10.1007/BFB0026981},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Mellies97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/MossakowskiTP97,
author = {Till Mossakowski and
Andrzej Tarlecki and
Wieslaw Pawlowski},
editor = {Eugenio Moggi and
Giuseppe Rosolini},
title = {Combining and Representing Logical Systems},
booktitle = {Category Theory and Computer Science, 7th International Conference,
{CTCS} '97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1290},
pages = {177--196},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0026988},
doi = {10.1007/BFB0026988},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/MossakowskiTP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/PavlovicA97,
author = {Dusko Pavlovic and
Samson Abramsky},
editor = {Eugenio Moggi and
Giuseppe Rosolini},
title = {Specifying Interaction Categories},
booktitle = {Category Theory and Computer Science, 7th International Conference,
{CTCS} '97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1290},
pages = {147--158},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0026986},
doi = {10.1007/BFB0026986},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ctcs/PavlovicA97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/ReusS97,
author = {Bernhard Reus and
Thomas Streicher},
editor = {Eugenio Moggi and
Giuseppe Rosolini},
title = {General Synthetic Domain Theory - {A} Logical Approach},
booktitle = {Category Theory and Computer Science, 7th International Conference,
{CTCS} '97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1290},
pages = {293--313},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0026995},
doi = {10.1007/BFB0026995},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/ReusS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Turi97,
author = {Daniele Turi},
editor = {Eugenio Moggi and
Giuseppe Rosolini},
title = {Categorical Modelling of Structural Operational Rules: Case Studies},
booktitle = {Category Theory and Computer Science, 7th International Conference,
{CTCS} '97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1290},
pages = {127--146},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0026985},
doi = {10.1007/BFB0026985},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Turi97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/WeihrauchZ97,
author = {Klaus Weihrauch and
Xizhong Zheng},
editor = {Eugenio Moggi and
Giuseppe Rosolini},
title = {Effectiveness of the Global Modulus of Continuity on Metric Spaces},
booktitle = {Category Theory and Computer Science, 7th International Conference,
{CTCS} '97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1290},
pages = {210--219},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0026990},
doi = {10.1007/BFB0026990},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/WeihrauchZ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/WolterM97,
author = {Uwe Wolter and
Alfio Martini},
editor = {Eugenio Moggi and
Giuseppe Rosolini},
title = {Shedding the New Light in the World of Logical Systems},
booktitle = {Category Theory and Computer Science, 7th International Conference,
{CTCS} '97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1290},
pages = {159--176},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0026987},
doi = {10.1007/BFB0026987},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/WolterM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ctcs/1997,
editor = {Eugenio Moggi and
Giuseppe Rosolini},
title = {Category Theory and Computer Science, 7th International Conference,
{CTCS} '97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1290},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0026977},
doi = {10.1007/BFB0026977},
isbn = {3-540-63455-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/AltenkirchHS95,
author = {Thorsten Altenkirch and
Martin Hofmann and
Thomas Streicher},
editor = {David H. Pitt and
David E. Rydeheard and
Peter T. Johnstone},
title = {Categorical Reconstruction of a Reduction Free Normalization Proof},
booktitle = {Category Theory and Computer Science, 6th International Conference,
{CTCS} '95, Cambridge, UK, August 7-11, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {953},
pages = {182--199},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60164-3\_27},
doi = {10.1007/3-540-60164-3\_27},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/AltenkirchHS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/AspertiC95,
author = {Andrea Asperti and
Agata Ciabattoni},
editor = {David H. Pitt and
David E. Rydeheard and
Peter T. Johnstone},
title = {Effective Applicative Structures},
booktitle = {Category Theory and Computer Science, 6th International Conference,
{CTCS} '95, Cambridge, UK, August 7-11, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {953},
pages = {81--95},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60164-3\_21},
doi = {10.1007/3-540-60164-3\_21},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/AspertiC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/BackhouseBGW95,
author = {Roland Carl Backhouse and
Marcel Bijsterveld and
Rik van Geldrop and
Jaap van der Woude},
editor = {David H. Pitt and
David E. Rydeheard and
Peter T. Johnstone},
title = {Categorical Fixed Point Calculus},
booktitle = {Category Theory and Computer Science, 6th International Conference,
{CTCS} '95, Cambridge, UK, August 7-11, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {953},
pages = {159--179},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60164-3\_25},
doi = {10.1007/3-540-60164-3\_25},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/BackhouseBGW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/BadouelD95,
author = {{\'{E}}ric Badouel and
Philippe Darondeau},
editor = {David H. Pitt and
David E. Rydeheard and
Peter T. Johnstone},
title = {Dualities Between Nets and Automata Induced by Schizophrenic Objects},
booktitle = {Category Theory and Computer Science, 6th International Conference,
{CTCS} '95, Cambridge, UK, August 7-11, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {953},
pages = {24--43},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60164-3\_18},
doi = {10.1007/3-540-60164-3\_18},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/BadouelD95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Brookes95,
author = {Stephen D. Brookes},
editor = {David H. Pitt and
David E. Rydeheard and
Peter T. Johnstone},
title = {A Category-Theoretic Treatment of a Parallel Algol-Like Language},
booktitle = {Category Theory and Computer Science, 6th International Conference,
{CTCS} '95, Cambridge, UK, August 7-11, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {953},
pages = {180--181},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60164-3\_26},
doi = {10.1007/3-540-60164-3\_26},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Brookes95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Fiore95,
author = {Marcelo P. Fiore},
editor = {David H. Pitt and
David E. Rydeheard and
Peter T. Johnstone},
title = {Lifting as a KZ-Doctrine},
booktitle = {Category Theory and Computer Science, 6th International Conference,
{CTCS} '95, Cambridge, UK, August 7-11, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {953},
pages = {146--158},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60164-3\_24},
doi = {10.1007/3-540-60164-3\_24},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Fiore95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/FourmanT95,
author = {Michael P. Fourman and
Hayo Thielecke},
editor = {David H. Pitt and
David E. Rydeheard and
Peter T. Johnstone},
title = {A Proposed Categorical Semantics for {ML} Modules},
booktitle = {Category Theory and Computer Science, 6th International Conference,
{CTCS} '95, Cambridge, UK, August 7-11, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {953},
pages = {240--252},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60164-3\_30},
doi = {10.1007/3-540-60164-3\_30},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/FourmanT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Hasegawa95,
author = {Masahito Hasegawa},
editor = {David H. Pitt and
David E. Rydeheard and
Peter T. Johnstone},
title = {Decomposing Typed Lambda Calculus into a Couple of Categorical Programming
Languages},
booktitle = {Category Theory and Computer Science, 6th International Conference,
{CTCS} '95, Cambridge, UK, August 7-11, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {953},
pages = {200--219},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60164-3\_28},
doi = {10.1007/3-540-60164-3\_28},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Hasegawa95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/HylandM95,
author = {J. M. E. Hyland and
Eugenio Moggi},
editor = {David H. Pitt and
David E. Rydeheard and
Peter T. Johnstone},
title = {The S-Replete Constuction},
booktitle = {Category Theory and Computer Science, 6th International Conference,
{CTCS} '95, Cambridge, UK, August 7-11, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {953},
pages = {96--116},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60164-3\_22},
doi = {10.1007/3-540-60164-3\_22},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/HylandM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Kawahara95,
author = {Yasuo Kawahara},
editor = {David H. Pitt and
David E. Rydeheard and
Peter T. Johnstone},
title = {Relational Set Theory},
booktitle = {Category Theory and Computer Science, 6th International Conference,
{CTCS} '95, Cambridge, UK, August 7-11, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {953},
pages = {44--58},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60164-3\_19},
doi = {10.1007/3-540-60164-3\_19},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Kawahara95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Milner95,
author = {Robin Milner},
editor = {David H. Pitt and
David E. Rydeheard and
Peter T. Johnstone},
title = {Control Structures: a Model of Interaction},
booktitle = {Category Theory and Computer Science, 6th International Conference,
{CTCS} '95, Cambridge, UK, August 7-11, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {953},
pages = {1--2},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60164-3\_16},
doi = {10.1007/3-540-60164-3\_16},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Milner95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Otto95,
author = {J. R. Otto Jr.},
editor = {David H. Pitt and
David E. Rydeheard and
Peter T. Johnstone},
title = {V-Comprehensions and {P} Space},
booktitle = {Category Theory and Computer Science, 6th International Conference,
{CTCS} '95, Cambridge, UK, August 7-11, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {953},
pages = {220--239},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60164-3\_29},
doi = {10.1007/3-540-60164-3\_29},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Otto95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Pavlovic95,
author = {Dusko Pavlovic},
editor = {David H. Pitt and
David E. Rydeheard and
Peter T. Johnstone},
title = {Convenient Category of Processes and Simulations 1: Modulo Strong
Bisimilarity},
booktitle = {Category Theory and Computer Science, 6th International Conference,
{CTCS} '95, Cambridge, UK, August 7-11, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {953},
pages = {3--23},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60164-3\_17},
doi = {10.1007/3-540-60164-3\_17},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Pavlovic95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Simpson95,
author = {Alex K. Simpson},
editor = {David H. Pitt and
David E. Rydeheard and
Peter T. Johnstone},
title = {The Convex Powerdomain in a Category of Posets Realized by CPOs},
booktitle = {Category Theory and Computer Science, 6th International Conference,
{CTCS} '95, Cambridge, UK, August 7-11, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {953},
pages = {117--145},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60164-3\_23},
doi = {10.1007/3-540-60164-3\_23},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Simpson95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Soloviev95,
author = {Sergei Soloviev},
editor = {David H. Pitt and
David E. Rydeheard and
Peter T. Johnstone},
title = {Proof of a S. Mac Lane Conjecture},
booktitle = {Category Theory and Computer Science, 6th International Conference,
{CTCS} '95, Cambridge, UK, August 7-11, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {953},
pages = {59--80},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60164-3\_20},
doi = {10.1007/3-540-60164-3\_20},
timestamp = {Tue, 02 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ctcs/Soloviev95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ctcs/1995,
editor = {David H. Pitt and
David E. Rydeheard and
Peter T. Johnstone},
title = {Category Theory and Computer Science, 6th International Conference,
{CTCS} '95, Cambridge, UK, August 7-11, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {953},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60164-3},
doi = {10.1007/3-540-60164-3},
isbn = {3-540-60164-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/1995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Amadio91,
author = {Roberto M. Amadio},
editor = {David H. Pitt and
Pierre{-}Louis Curien and
Samson Abramsky and
Andrew M. Pitts and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Bifinite Domains: Stable Case},
booktitle = {Category Theory and Computer Science, 4th International Conference,
Paris, France, September 3-6, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {530},
pages = {16--33},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0013454},
doi = {10.1007/BFB0013454},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Amadio91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Blute91,
author = {Richard Blute},
editor = {David H. Pitt and
Pierre{-}Louis Curien and
Samson Abramsky and
Andrew M. Pitts and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Proof Nets and Coherence Theorems},
booktitle = {Category Theory and Computer Science, 4th International Conference,
Paris, France, September 3-6, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {530},
pages = {121--137},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0013461},
doi = {10.1007/BFB0013461},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Blute91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Burroni91,
author = {Albert Burroni},
editor = {David H. Pitt and
Pierre{-}Louis Curien and
Samson Abramsky and
Andrew M. Pitts and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Higher Dimensional Word Problem},
booktitle = {Category Theory and Computer Science, 4th International Conference,
Paris, France, September 3-6, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {530},
pages = {94--105},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0013459},
doi = {10.1007/BFB0013459},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Burroni91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Coquand91,
author = {Thierry Coquand},
editor = {David H. Pitt and
Pierre{-}Louis Curien and
Samson Abramsky and
Andrew M. Pitts and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {A Direct Proof of the Intuitionistic Ramsey Theorem},
booktitle = {Category Theory and Computer Science, 4th International Conference,
Paris, France, September 3-6, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {530},
pages = {164--172},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0013465},
doi = {10.1007/BFB0013465},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Coquand91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/CorradiniM91,
author = {Andrea Corradini and
Ugo Montanari},
editor = {David H. Pitt and
Pierre{-}Louis Curien and
Samson Abramsky and
Andrew M. Pitts and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {An Algebra of Graphs and Graph Rewriting},
booktitle = {Category Theory and Computer Science, 4th International Conference,
Paris, France, September 3-6, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {530},
pages = {236--260},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0013469},
doi = {10.1007/BFB0013469},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/CorradiniM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/DeganoKV91,
author = {Pierpaolo Degano and
Stefano Kasangian and
Sebastiano Vigna},
editor = {David H. Pitt and
Pierre{-}Louis Curien and
Samson Abramsky and
Andrew M. Pitts and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Applications of the Calculus of Trees to Process Description Languages},
booktitle = {Category Theory and Computer Science, 4th International Conference,
Paris, France, September 3-6, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {530},
pages = {282--301},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0013471},
doi = {10.1007/BFB0013471},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/DeganoKV91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/EdalatS91,
author = {Abbas Edalat and
Michael B. Smyth},
editor = {David H. Pitt and
Pierre{-}Louis Curien and
Samson Abramsky and
Andrew M. Pitts and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Categories of Information Systems},
booktitle = {Category Theory and Computer Science, 4th International Conference,
Paris, France, September 3-6, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {530},
pages = {37--52},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0013456},
doi = {10.1007/BFB0013456},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/EdalatS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/EhrhardM91,
author = {Thomas Ehrhard and
Pasquale Malacaria},
editor = {David H. Pitt and
Pierre{-}Louis Curien and
Samson Abramsky and
Andrew M. Pitts and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Stone Duality for Stable Functions},
booktitle = {Category Theory and Computer Science, 4th International Conference,
Paris, France, September 3-6, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {530},
pages = {1--15},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0013453},
doi = {10.1007/BFB0013453},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/EhrhardM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Hirokawa91,
author = {Sachio Hirokawa},
editor = {David H. Pitt and
Pierre{-}Louis Curien and
Samson Abramsky and
Andrew M. Pitts and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {BCK-Formulas Having Unique Proofs},
booktitle = {Category Theory and Computer Science, 4th International Conference,
Paris, France, September 3-6, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {530},
pages = {106--120},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0013460},
doi = {10.1007/BFB0013460},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ctcs/Hirokawa91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/HoofmanS91,
author = {Raymond Hoofman and
Harold Schellinx},
editor = {David H. Pitt and
Pierre{-}Louis Curien and
Samson Abramsky and
Andrew M. Pitts and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Collapsing Graph Models by Preorders},
booktitle = {Category Theory and Computer Science, 4th International Conference,
Paris, France, September 3-6, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {530},
pages = {53--73},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0013457},
doi = {10.1007/BFB0013457},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/HoofmanS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/JacobsMS91,
author = {Bart Jacobs and
Eugenio Moggi and
Thomas Streicher},
editor = {David H. Pitt and
Pierre{-}Louis Curien and
Samson Abramsky and
Andrew M. Pitts and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Relating Models of Impredicative Type Theories},
booktitle = {Category Theory and Computer Science, 4th International Conference,
Paris, France, September 3-6, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {530},
pages = {197--218},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0013467},
doi = {10.1007/BFB0013467},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/JacobsMS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Jarzembski91,
author = {Grzegorz Jarzembski},
editor = {David H. Pitt and
Pierre{-}Louis Curien and
Samson Abramsky and
Andrew M. Pitts and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Programs in Partial Algebras - a Categorical Approach},
booktitle = {Category Theory and Computer Science, 4th International Conference,
Paris, France, September 3-6, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {530},
pages = {140--150},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0013463},
doi = {10.1007/BFB0013463},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Jarzembski91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Jay91,
author = {C. Barry Jay},
editor = {David H. Pitt and
Pierre{-}Louis Curien and
Samson Abramsky and
Andrew M. Pitts and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Tail Recursion from Universal Invariants},
booktitle = {Category Theory and Computer Science, 4th International Conference,
Paris, France, September 3-6, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {530},
pages = {151--163},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0013464},
doi = {10.1007/BFB0013464},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Jay91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Moggi91,
author = {Eugenio Moggi},
editor = {David H. Pitt and
Pierre{-}Louis Curien and
Samson Abramsky and
Andrew M. Pitts and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {A Modular Approach to Denotational Semantics},
booktitle = {Category Theory and Computer Science, 4th International Conference,
Paris, France, September 3-6, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {530},
pages = {138--139},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0013462},
doi = {10.1007/BFB0013462},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Moggi91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/OHearn91,
author = {Peter W. O'Hearn},
editor = {David H. Pitt and
Pierre{-}Louis Curien and
Samson Abramsky and
Andrew M. Pitts and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Linear Logic and Interference Control},
booktitle = {Category Theory and Computer Science, 4th International Conference,
Paris, France, September 3-6, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {530},
pages = {74--93},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0013458},
doi = {10.1007/BFB0013458},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/OHearn91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Pavlovic91,
author = {Dusko Pavlovic},
editor = {David H. Pitt and
Pierre{-}Louis Curien and
Samson Abramsky and
Andrew M. Pitts and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Constructions and Predicates},
booktitle = {Category Theory and Computer Science, 4th International Conference,
Paris, France, September 3-6, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {530},
pages = {173--196},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0013466},
doi = {10.1007/BFB0013466},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Pavlovic91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Phoa91,
author = {Wesley Phoa},
editor = {David H. Pitt and
Pierre{-}Louis Curien and
Samson Abramsky and
Andrew M. Pitts and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Two Results on Set-Theoretic Polymorphism},
booktitle = {Category Theory and Computer Science, 4th International Conference,
Paris, France, September 3-6, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {530},
pages = {219--235},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0013468},
doi = {10.1007/BFB0013468},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Phoa91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Stark91,
author = {Eugene W. Stark},
editor = {David H. Pitt and
Pierre{-}Louis Curien and
Samson Abramsky and
Andrew M. Pitts and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Dataflow Networks are Fibrations},
booktitle = {Category Theory and Computer Science, 4th International Conference,
Paris, France, September 3-6, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {530},
pages = {261--281},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0013470},
doi = {10.1007/BFB0013470},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Stark91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Tennent91,
author = {Robert D. Tennent},
editor = {David H. Pitt and
Pierre{-}Louis Curien and
Samson Abramsky and
Andrew M. Pitts and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Local Variables and Non-Interference in Algol-like Languages},
booktitle = {Category Theory and Computer Science, 4th International Conference,
Paris, France, September 3-6, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {530},
pages = {34--36},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0013455},
doi = {10.1007/BFB0013455},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Tennent91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ctcs/1991,
editor = {David H. Pitt and
Pierre{-}Louis Curien and
Samson Abramsky and
Andrew M. Pitts and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Category Theory and Computer Science, 4th International Conference,
Paris, France, September 3-6, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {530},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0013452},
doi = {10.1007/BFB0013452},
isbn = {3-540-54495-X},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/1991.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/AczelM89,
author = {Peter Aczel and
Nax Paul Mendler},
editor = {David H. Pitt and
David E. Rydeheard and
Peter Dybjer and
Andrew M. Pitts and
Axel Poign{\'{e}}},
title = {A Final Coalgebra Theorem},
booktitle = {Category Theory and Computer Science, Manchester, UK, September 5-8,
1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {389},
pages = {357--365},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0018361},
doi = {10.1007/BFB0018361},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/AczelM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Baader89,
author = {Franz Baader},
editor = {David H. Pitt and
David E. Rydeheard and
Peter Dybjer and
Andrew M. Pitts and
Axel Poign{\'{e}}},
title = {Unification Properties of Commutative Theories: {A} Categorical Treatment},
booktitle = {Category Theory and Computer Science, Manchester, UK, September 5-8,
1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {389},
pages = {273--299},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0018357},
doi = {10.1007/BFB0018357},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Baader89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/CardelliM89,
author = {Luca Cardelli and
John C. Mitchell},
editor = {David H. Pitt and
David E. Rydeheard and
Peter Dybjer and
Andrew M. Pitts and
Axel Poign{\'{e}}},
title = {Operations in Records},
booktitle = {Category Theory and Computer Science, Manchester, UK, September 5-8,
1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {389},
pages = {75--81},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0018345},
doi = {10.1007/BFB0018345},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ctcs/CardelliM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/CasleyCMP89,
author = {Ross Casley and
Roger F. Crew and
Jos{\'{e}} Meseguer and
Vaughan R. Pratt},
editor = {David H. Pitt and
David E. Rydeheard and
Peter Dybjer and
Andrew M. Pitts and
Axel Poign{\'{e}}},
title = {Temporal Structures},
booktitle = {Category Theory and Computer Science, Manchester, UK, September 5-8,
1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {389},
pages = {21--51},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0018343},
doi = {10.1007/BFB0018343},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/CasleyCMP89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Ehrhard89,
author = {Thomas Ehrhard},
editor = {David H. Pitt and
David E. Rydeheard and
Peter Dybjer and
Andrew M. Pitts and
Axel Poign{\'{e}}},
title = {Dictoses},
booktitle = {Category Theory and Computer Science, Manchester, UK, September 5-8,
1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {389},
pages = {213--223},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0018354},
doi = {10.1007/BFB0018354},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Ehrhard89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Filinski89,
author = {Andrzej Filinski},
editor = {David H. Pitt and
David E. Rydeheard and
Peter Dybjer and
Andrew M. Pitts and
Axel Poign{\'{e}}},
title = {Declarative Continuations: an Investigation of Duality in Programming
Language Semantics},
booktitle = {Category Theory and Computer Science, Manchester, UK, September 5-8,
1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {389},
pages = {224--249},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0018355},
doi = {10.1007/BFB0018355},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Filinski89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/HarperST89,
author = {Robert Harper and
Donald Sannella and
Andrzej Tarlecki},
editor = {David H. Pitt and
David E. Rydeheard and
Peter Dybjer and
Andrew M. Pitts and
Axel Poign{\'{e}}},
title = {Logic Representation in {LF}},
booktitle = {Category Theory and Computer Science, Manchester, UK, September 5-8,
1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {389},
pages = {250--272},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0018356},
doi = {10.1007/BFB0018356},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/HarperST89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Hughes89,
author = {John Hughes},
editor = {David H. Pitt and
David E. Rydeheard and
Peter Dybjer and
Andrew M. Pitts and
Axel Poign{\'{e}}},
title = {Projections for Polymorphic Strictness Analysis},
booktitle = {Category Theory and Computer Science, Manchester, UK, September 5-8,
1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {389},
pages = {82--100},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0018346},
doi = {10.1007/BFB0018346},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ctcs/Hughes89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Jacobs89,
author = {Bart Jacobs},
editor = {David H. Pitt and
David E. Rydeheard and
Peter Dybjer and
Andrew M. Pitts and
Axel Poign{\'{e}}},
title = {On the Semantics of Second Order Lambda Calculus: From Bruce-Meyer-Mitchell
Models to Hyperdoctrine Models and Vice-Versa},
booktitle = {Category Theory and Computer Science, Manchester, UK, September 5-8,
1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {389},
pages = {198--212},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0018353},
doi = {10.1007/BFB0018353},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Jacobs89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Longo89,
author = {Giuseppe Longo},
editor = {David H. Pitt and
David E. Rydeheard and
Peter Dybjer and
Andrew M. Pitts and
Axel Poign{\'{e}}},
title = {Coherence and Valid Isomorphism in Closed Categories - Applications
of Proof Theory to Category Theory In a Computer Scientist Perspective},
booktitle = {Category Theory and Computer Science, Manchester, UK, September 5-8,
1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {389},
pages = {1--4},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0018341},
doi = {10.1007/BFB0018341},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Longo89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Marti-OlietM89,
author = {Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer},
editor = {David H. Pitt and
David E. Rydeheard and
Peter Dybjer and
Andrew M. Pitts and
Axel Poign{\'{e}}},
title = {From Petri Nets to Linear Logic},
booktitle = {Category Theory and Computer Science, Manchester, UK, September 5-8,
1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {389},
pages = {313--340},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0018359},
doi = {10.1007/BFB0018359},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Marti-OlietM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Moggi89,
author = {Eugenio Moggi},
editor = {David H. Pitt and
David E. Rydeheard and
Peter Dybjer and
Andrew M. Pitts and
Axel Poign{\'{e}}},
title = {A Category-theoretic Account of Program Modules},
booktitle = {Category Theory and Computer Science, Manchester, UK, September 5-8,
1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {389},
pages = {101--117},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0018347},
doi = {10.1007/BFB0018347},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Moggi89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/MontanariY89,
author = {Ugo Montanari and
Daniel Yankelevich},
editor = {David H. Pitt and
David E. Rydeheard and
Peter Dybjer and
Andrew M. Pitts and
Axel Poign{\'{e}}},
title = {An Algebraic View of Interleaving and Distributed Operational Semantics
for {CCS}},
booktitle = {Category Theory and Computer Science, Manchester, UK, September 5-8,
1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {389},
pages = {5--20},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0018342},
doi = {10.1007/BFB0018342},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/MontanariY89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Paiva89,
author = {Valeria de Paiva},
editor = {David H. Pitt and
David E. Rydeheard and
Peter Dybjer and
Andrew M. Pitts and
Axel Poign{\'{e}}},
title = {A Dialectica-like Model of Linear Logic},
booktitle = {Category Theory and Computer Science, Manchester, UK, September 5-8,
1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {389},
pages = {341--356},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0018360},
doi = {10.1007/BFB0018360},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ctcs/Paiva89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/PeterssonS89,
author = {Kent Petersson and
Dan Synek},
editor = {David H. Pitt and
David E. Rydeheard and
Peter Dybjer and
Andrew M. Pitts and
Axel Poign{\'{e}}},
title = {A Set Constructor for Inductive Sets in Martin-L{\"{o}}f's Type
Theory},
booktitle = {Category Theory and Computer Science, Manchester, UK, September 5-8,
1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {389},
pages = {128--140},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0018349},
doi = {10.1007/BFB0018349},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/PeterssonS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Power89,
author = {A. John Power},
editor = {David H. Pitt and
David E. Rydeheard and
Peter Dybjer and
Andrew M. Pitts and
Axel Poign{\'{e}}},
title = {An Abstract Formulation for Rewrite Systems},
booktitle = {Category Theory and Computer Science, Manchester, UK, September 5-8,
1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {389},
pages = {300--312},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0018358},
doi = {10.1007/BFB0018358},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Power89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Seely89,
author = {Robert A. G. Seely},
editor = {David H. Pitt and
David E. Rydeheard and
Peter Dybjer and
Andrew M. Pitts and
Axel Poign{\'{e}}},
title = {Graded Multicategories of Polynomial-time Realizers},
booktitle = {Category Theory and Computer Science, Manchester, UK, September 5-8,
1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {389},
pages = {182--197},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0018352},
doi = {10.1007/BFB0018352},
timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ctcs/Seely89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Stark89,
author = {Eugene W. Stark},
editor = {David H. Pitt and
David E. Rydeheard and
Peter Dybjer and
Andrew M. Pitts and
Axel Poign{\'{e}}},
title = {Compostional Relational Semantics for Indeterminate Dataflow Networks},
booktitle = {Category Theory and Computer Science, Manchester, UK, September 5-8,
1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {389},
pages = {52--74},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0018344},
doi = {10.1007/BFB0018344},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Stark89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Streicher89,
author = {Thomas Streicher},
editor = {David H. Pitt and
David E. Rydeheard and
Peter Dybjer and
Andrew M. Pitts and
Axel Poign{\'{e}}},
title = {Independence Results for Calculi of Dependent Types},
booktitle = {Category Theory and Computer Science, Manchester, UK, September 5-8,
1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {389},
pages = {141--154},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0018350},
doi = {10.1007/BFB0018350},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Streicher89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Taylor89,
author = {Paul Taylor},
editor = {David H. Pitt and
David E. Rydeheard and
Peter Dybjer and
Andrew M. Pitts and
Axel Poign{\'{e}}},
title = {Quantitative Domains, Groupoids and Linear Logic},
booktitle = {Category Theory and Computer Science, Manchester, UK, September 5-8,
1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {389},
pages = {155--181},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0018351},
doi = {10.1007/BFB0018351},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Taylor89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Wraith89,
author = {G. C. Wraith},
editor = {David H. Pitt and
David E. Rydeheard and
Peter Dybjer and
Andrew M. Pitts and
Axel Poign{\'{e}}},
title = {A Note on Categorical Datatypes},
booktitle = {Category Theory and Computer Science, Manchester, UK, September 5-8,
1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {389},
pages = {118--127},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0018348},
doi = {10.1007/BFB0018348},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Wraith89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ctcs/1989,
editor = {David H. Pitt and
David E. Rydeheard and
Peter Dybjer and
Andrew M. Pitts and
Axel Poign{\'{e}}},
title = {Category Theory and Computer Science, Manchester, UK, September 5-8,
1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {389},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0018340},
doi = {10.1007/BFB0018340},
isbn = {3-540-51662-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/1989.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@proceedings{DBLP:conf/ctcs/1985,
editor = {David H. Pitt and
Samson Abramsky and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Category Theory and Computer Programming, Tutorial and Workshop, Guildford,
UK, September 16-20, 1985 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {240},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-17162-2},
doi = {10.1007/3-540-17162-2},
isbn = {3-540-17162-2},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/1985.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Abramsky85,
author = {Samson Abramsky},
editor = {David H. Pitt and
Samson Abramsky and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Introduction},
booktitle = {Category Theory and Computer Programming, Tutorial and Workshop, Guildford,
UK, September 16-20, 1985 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {240},
pages = {3--6},
publisher = {Springer},
year = {1985},
url = {https://link.springer.com/chapter/10.1007/3-540-17162-2\_113},
doi = {10.1007/3-540-17162-2\_113},
timestamp = {Sat, 10 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Abramsky85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Cartmell85,
author = {John Cartmell},
editor = {David H. Pitt and
Samson Abramsky and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Formalizing the Network and Hierarchical Data Models - an Application
of Categorical Logic},
booktitle = {Category Theory and Computer Programming, Tutorial and Workshop, Guildford,
UK, September 16-20, 1985 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {240},
pages = {466--492},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-17162-2\_138},
doi = {10.1007/3-540-17162-2\_138},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Cartmell85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Dybjer85,
author = {Peter Dybjer},
editor = {David H. Pitt and
Samson Abramsky and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Category Theory and Programming Language Semantics: an Overview},
booktitle = {Category Theory and Computer Programming, Tutorial and Workshop, Guildford,
UK, September 16-20, 1985 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {240},
pages = {165--181},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-17162-2\_121},
doi = {10.1007/3-540-17162-2\_121},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Dybjer85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Ehrich85,
author = {Hans{-}Dieter Ehrich},
editor = {David H. Pitt and
Samson Abramsky and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Key Extensions of Abstract Data Types, Final Algebras, and Database
Semantics},
booktitle = {Category Theory and Computer Programming, Tutorial and Workshop, Guildford,
UK, September 16-20, 1985 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {240},
pages = {412--433},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-17162-2\_135},
doi = {10.1007/3-540-17162-2\_135},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Ehrich85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/FourmanV85,
author = {Michael P. Fourman and
Steven Vickers},
editor = {David H. Pitt and
Samson Abramsky and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Theories as Categories},
booktitle = {Category Theory and Computer Programming, Tutorial and Workshop, Guildford,
UK, September 16-20, 1985 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {240},
pages = {434--448},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-17162-2\_136},
doi = {10.1007/3-540-17162-2\_136},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/FourmanV85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/GoguenB85,
author = {Joseph A. Goguen and
Rod M. Burstall},
editor = {David H. Pitt and
Samson Abramsky and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {A Study in the Functions of Programming Methodology: Specifications,
Institutions, Charters and Parchments},
booktitle = {Category Theory and Computer Programming, Tutorial and Workshop, Guildford,
UK, September 16-20, 1985 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {240},
pages = {313--333},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-17162-2\_131},
doi = {10.1007/3-540-17162-2\_131},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/GoguenB85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/LabellaP85,
author = {Anna Labella and
Alberto Pettorossi},
editor = {David H. Pitt and
Samson Abramsky and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Categorical Models of Process Cooperation},
booktitle = {Category Theory and Computer Programming, Tutorial and Workshop, Guildford,
UK, September 16-20, 1985 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {240},
pages = {282--298},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-17162-2\_129},
doi = {10.1007/3-540-17162-2\_129},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ctcs/LabellaP85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Manes85,
author = {Ernest G. Manes},
editor = {David H. Pitt and
Samson Abramsky and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Weakest Preconditions: Categorical Insights},
booktitle = {Category Theory and Computer Programming, Tutorial and Workshop, Guildford,
UK, September 16-20, 1985 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {240},
pages = {182--197},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-17162-2\_122},
doi = {10.1007/3-540-17162-2\_122},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Manes85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/MeltonSS85,
author = {Austin Melton and
David A. Schmidt and
George E. Strecker},
editor = {David H. Pitt and
Samson Abramsky and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Calois Connections and Computer Science Applications},
booktitle = {Category Theory and Computer Programming, Tutorial and Workshop, Guildford,
UK, September 16-20, 1985 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {240},
pages = {299--312},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-17162-2\_130},
doi = {10.1007/3-540-17162-2\_130},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/MeltonSS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Moggi85,
author = {Eugenio Moggi},
editor = {David H. Pitt and
Samson Abramsky and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Categories of Partial Morphisms and the lambda\({}^{\mbox{p}}\) -
Calculus},
booktitle = {Category Theory and Computer Programming, Tutorial and Workshop, Guildford,
UK, September 16-20, 1985 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {240},
pages = {242--251},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-17162-2\_126},
doi = {10.1007/3-540-17162-2\_126},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Moggi85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Pitt85,
author = {David H. Pitt},
editor = {David H. Pitt and
Samson Abramsky and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Categories},
booktitle = {Category Theory and Computer Programming, Tutorial and Workshop, Guildford,
UK, September 16-20, 1985 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {240},
pages = {6--15},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-17162-2\_113},
doi = {10.1007/3-540-17162-2\_113},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Pitt85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Poigne85,
author = {Axel Poign{\'{e}}},
editor = {David H. Pitt and
Samson Abramsky and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Elements of Categorical Reasoning: Products and Coproducts and some
other (Co-) Limits},
booktitle = {Category Theory and Computer Programming, Tutorial and Workshop, Guildford,
UK, September 16-20, 1985 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {240},
pages = {16--42},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-17162-2\_114},
doi = {10.1007/3-540-17162-2\_114},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Poigne85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Poigne85a,
author = {Axel Poign{\'{e}}},
editor = {David H. Pitt and
Samson Abramsky and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Cartesian Closure - Higher Types in Categories},
booktitle = {Category Theory and Computer Programming, Tutorial and Workshop, Guildford,
UK, September 16-20, 1985 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {240},
pages = {58--75},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-17162-2\_117},
doi = {10.1007/3-540-17162-2\_117},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Poigne85a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Poigne85b,
author = {Axel Poign{\'{e}}},
editor = {David H. Pitt and
Samson Abramsky and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Algebra Categorically},
booktitle = {Category Theory and Computer Programming, Tutorial and Workshop, Guildford,
UK, September 16-20, 1985 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {240},
pages = {76--102},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-17162-2\_118},
doi = {10.1007/3-540-17162-2\_118},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Poigne85b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Poigne85c,
author = {Axel Poign{\'{e}}},
editor = {David H. Pitt and
Samson Abramsky and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Category Theory and Logic},
booktitle = {Category Theory and Computer Programming, Tutorial and Workshop, Guildford,
UK, September 16-20, 1985 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {240},
pages = {103--142},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-17162-2\_119},
doi = {10.1007/3-540-17162-2\_119},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Poigne85c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Poigne85d,
author = {Axel Poign{\'{e}}},
editor = {David H. Pitt and
Samson Abramsky and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {A Note on Distributive Laws and Power Domains},
booktitle = {Category Theory and Computer Programming, Tutorial and Workshop, Guildford,
UK, September 16-20, 1985 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {240},
pages = {252--265},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-17162-2\_127},
doi = {10.1007/3-540-17162-2\_127},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Poigne85d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Reichel85,
author = {Horst Reichel},
editor = {David H. Pitt and
Samson Abramsky and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Behavioral Program Specification},
booktitle = {Category Theory and Computer Programming, Tutorial and Workshop, Guildford,
UK, September 16-20, 1985 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {240},
pages = {390--411},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-17162-2\_134},
doi = {10.1007/3-540-17162-2\_134},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Reichel85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Rydeheard85,
author = {David E. Rydeheard},
editor = {David H. Pitt and
Samson Abramsky and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Functors and Natural Transformations},
booktitle = {Category Theory and Computer Programming, Tutorial and Workshop, Guildford,
UK, September 16-20, 1985 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {240},
pages = {43--50},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-17162-2\_115},
doi = {10.1007/3-540-17162-2\_115},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Rydeheard85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Rydeheard85a,
author = {David E. Rydeheard},
editor = {David H. Pitt and
Samson Abramsky and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Adjunction},
booktitle = {Category Theory and Computer Programming, Tutorial and Workshop, Guildford,
UK, September 16-20, 1985 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {240},
pages = {51--57},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-17162-2\_116},
doi = {10.1007/3-540-17162-2\_116},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Rydeheard85a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/RydeheardB85,
author = {David E. Rydeheard and
Rod M. Burstall},
editor = {David H. Pitt and
Samson Abramsky and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {A Categorical Unification Algorithm},
booktitle = {Category Theory and Computer Programming, Tutorial and Workshop, Guildford,
UK, September 16-20, 1985 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {240},
pages = {493--505},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-17162-2\_139},
doi = {10.1007/3-540-17162-2\_139},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/RydeheardB85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/RydeheardB85a,
author = {David E. Rydeheard and
Rod M. Burstall},
editor = {David H. Pitt and
Samson Abramsky and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Computing with Categories},
booktitle = {Category Theory and Computer Programming, Tutorial and Workshop, Guildford,
UK, September 16-20, 1985 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {240},
pages = {506--519},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-17162-2\_140},
doi = {10.1007/3-540-17162-2\_140},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/RydeheardB85a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/SannellaT85,
author = {Donald Sannella and
Andrzej Tarlecki},
editor = {David H. Pitt and
Samson Abramsky and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Extended {ML:} an Institution - Independent Framework for Formal Program
Development},
booktitle = {Category Theory and Computer Programming, Tutorial and Workshop, Guildford,
UK, September 16-20, 1985 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {240},
pages = {364--389},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-17162-2\_133},
doi = {10.1007/3-540-17162-2\_133},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/SannellaT85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Smyth85,
author = {Michael B. Smyth},
editor = {David H. Pitt and
Samson Abramsky and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Finite Approximation of Spaces},
booktitle = {Category Theory and Computer Programming, Tutorial and Workshop, Guildford,
UK, September 16-20, 1985 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {240},
pages = {225--241},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-17162-2\_125},
doi = {10.1007/3-540-17162-2\_125},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Smyth85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Tarlecki85,
author = {Andrzej Tarlecki},
editor = {David H. Pitt and
Samson Abramsky and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Bits and Pieces of the Theory of Institutions},
booktitle = {Category Theory and Computer Programming, Tutorial and Workshop, Guildford,
UK, September 16-20, 1985 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {240},
pages = {334--365},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-17162-2\_132},
doi = {10.1007/3-540-17162-2\_132},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ctcs/Tarlecki85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Taylor85,
author = {Paul Taylor},
editor = {David H. Pitt and
Samson Abramsky and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Internal Completeness of Categories of Domains},
booktitle = {Category Theory and Computer Programming, Tutorial and Workshop, Guildford,
UK, September 16-20, 1985 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {240},
pages = {449--465},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-17162-2\_137},
doi = {10.1007/3-540-17162-2\_137},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Taylor85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Tennent85,
author = {Robert D. Tennent},
editor = {David H. Pitt and
Samson Abramsky and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Functor - Category Semantics of Programming Languages and Logics},
booktitle = {Category Theory and Computer Programming, Tutorial and Workshop, Guildford,
UK, September 16-20, 1985 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {240},
pages = {206--224},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-17162-2\_124},
doi = {10.1007/3-540-17162-2\_124},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Tennent85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Wagner85,
author = {Eric G. Wagner},
editor = {David H. Pitt and
Samson Abramsky and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Categories, Data Types and Imperative Languages},
booktitle = {Category Theory and Computer Programming, Tutorial and Workshop, Guildford,
UK, September 16-20, 1985 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {240},
pages = {143--162},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-17162-2\_120},
doi = {10.1007/3-540-17162-2\_120},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Wagner85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Wagner85a,
author = {Eric G. Wagner},
editor = {David H. Pitt and
Samson Abramsky and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {A Categorical View of Weakest Liberal Preconditions},
booktitle = {Category Theory and Computer Programming, Tutorial and Workshop, Guildford,
UK, September 16-20, 1985 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {240},
pages = {198--205},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-17162-2\_123},
doi = {10.1007/3-540-17162-2\_123},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Wagner85a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Winskel85,
author = {Glynn Winskel},
editor = {David H. Pitt and
Samson Abramsky and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Category Theory and Models for Parallel Computation},
booktitle = {Category Theory and Computer Programming, Tutorial and Workshop, Guildford,
UK, September 16-20, 1985 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {240},
pages = {266--281},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-17162-2\_128},
doi = {10.1007/3-540-17162-2\_128},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Winskel85.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-25 08:32 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:
