Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/ctcs/ctcs89.bht:"
download as .bib file
@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}
}
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-04-25 08:19 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:
