Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd Category Theory and Computer Science 1989: Manchester, UK
- David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts, Axel Poigné:
Category Theory and Computer Science, Manchester, UK, September 5-8, 1989, Proceedings. Lecture Notes in Computer Science 389, Springer 1989, ISBN 3-540-51662-X - Giuseppe Longo:
Coherence and Valid Isomorphism in Closed Categories - Applications of Proof Theory to Category Theory In a Computer Scientist Perspective. 1-4 - Ugo Montanari, Daniel Yankelevich:
An Algebraic View of Interleaving and Distributed Operational Semantics for CCS. 5-20 - Ross Casley, Roger F. Crew, José Meseguer, Vaughan R. Pratt:
Temporal Structures. 21-51 - Eugene W. Stark:
Compostional Relational Semantics for Indeterminate Dataflow Networks. 52-74 - Luca Cardelli
, John C. Mitchell:
Operations in Records. 75-81 - John Hughes:
Projections for Polymorphic Strictness Analysis. 82-100 - Eugenio Moggi:
A Category-theoretic Account of Program Modules. 101-117 - G. C. Wraith:
A Note on Categorical Datatypes. 118-127 - Kent Petersson, Dan Synek:
A Set Constructor for Inductive Sets in Martin-Löf's Type Theory. 128-140 - Thomas Streicher:
Independence Results for Calculi of Dependent Types. 141-154 - Paul Taylor:
Quantitative Domains, Groupoids and Linear Logic. 155-181 - Robert A. G. Seely:
Graded Multicategories of Polynomial-time Realizers. 182-197 - Bart Jacobs:
On the Semantics of Second Order Lambda Calculus: From Bruce-Meyer-Mitchell Models to Hyperdoctrine Models and Vice-Versa. 198-212 - Thomas Ehrhard:
Dictoses. 213-223 - Andrzej Filinski:
Declarative Continuations: an Investigation of Duality in Programming Language Semantics. 224-249 - Robert Harper, Donald Sannella, Andrzej Tarlecki:
Logic Representation in LF. 250-272 - Franz Baader:
Unification Properties of Commutative Theories: A Categorical Treatment. 273-299 - A. John Power:
An Abstract Formulation for Rewrite Systems. 300-312 - Narciso Martí-Oliet, José Meseguer:
From Petri Nets to Linear Logic. 313-340 - Valeria de Paiva:
A Dialectica-like Model of Linear Logic. 341-356 - Peter Aczel, Nax Paul Mendler:
A Final Coalgebra Theorem. 357-365
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.
last updated on 2024-04-25 05:25 CEST 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:
