default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID60th Birthday: Gordon D. Plotkin
- Luca Cardelli, Marcelo Fiore, Glynn Winskel:
Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin. Electronic Notes in Theoretical Computer Science 172, Elsevier 2007 - Luca Cardelli, Marcelo P. Fiore, Glynn Winskel:
Preface. 1-4 - Martín Abadi:
Access Control in a Core Calculus of Dependency. 5-31 - Samson Abramsky
:
Event Domains, Stable Functions and Proof-Nets. 33-67 - Ingo Battenfeld, Matthias Schröder, Alex Simpson:
A Convenient Category of Domains. 69-99 - Richard Blute, Prakash Panangaden, Dorette Pronk:
Conformal Field Theory as a Nuclear Functor. 101-132 - Cristiano Calcagno, Philippa Gardner, Uri Zarfaty:
Local Reasoning about Data Update. 133-175 - Luca Cardelli, Philippa Gardner, Giorgio Ghelli:
Manipulating Trees with Hidden Labels. 177-201 - Gian Luca Cattani, Marcelo P. Fiore:
The Bicategory-Theoretic Solution of Recursive Domain Equations. 203-222 - Ranald Alexander Clouston, Andrew M. Pitts:
Nominal Equational Logic. 223-257 - Karl Crary, Robert Harper:
Syntactic Logical Relations for Polymorphic and Recursive Types. 259-299 - Pierre-Louis Curien:
Definability and Full Abstraction. 301-310 - Anupam Datta, Ante Derek, John C. Mitchell, Arnab Roy:
Protocol Composition Logic (PCL). 311-358 - Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang:
Remarks on Testing Probabilistic Processes. 359-397 - Furio Honsell, Marina Lenisa, Luigi Liquori:
A Framework for Defining Logical Frameworks. 399-436 - Martin Hyland, John Power:
The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads. 437-458 - Michael W. Mislove, Dusko Pavlovic, James Worrell:
Labelled Markov Processes as Generalised Stochastic Relations. 459-478 - Eugenio Moggi:
Structuring Operational Semantics: Simplification and Computation. 479-497 - Mogens Nielsen, Karl Krukow, Vladimiro Sassone:
A Bayesian Model for Event-based Trust. 499-521 - Flemming Nielson, Hanne Riis Nielson:
Heuristics for Safety and Security Constraints. 523-543 - David J. Pym, Chris M. N. Tofts:
Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic. 545-587 - Colin Stirling:
Model-Checking Games for Typed lambda-Calculi. 589-609 - Glynn Winskel:
Event Structures with Symmetry. 611-652
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-11-15 19:41 CET 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:
