scientific article; zbMATH DE number 1479606
From MaRDI portal
Publication:4490717
zbMATH Open0942.68615arXiv1311.6125MaRDI QIDQ4490717FDOQ4490717
Pasquale Malacaria, Radha Jagadeesan, Samson Abramsky
Publication date: 20 July 2000
Full work available at URL: https://arxiv.org/abs/1311.6125
Title of this publication is not available (Why is that?)
Cited In (31)
- Finitary PCF is not decidable
- Game theoretic analysis of call-by-value computation
- Specification structures and propositions-as-types for concurrency
- A general adequacy result for a linear functional language
- A relational account of call-by-value sequentiality
- Regular-Language Semantics for a Call-by-Value Programming Language
- A specification structure for deadlock-freedom of synchronous processes
- A fully abstract model for the \(\pi\)-calculus.
- Glueing and orthogonality for models of linear logic
- A synthetic theory of sequential domains
- Interaction graphs: multiplicatives
- An Explicit Framework for Interaction Nets
- Games and full abstraction for FPC.
- Game-theoretic analysis of call-by-value computation
- Stratified coherence spaces: A denotational semantics for light linear logic
- Strict finitism and feasibility
- Innocent game models of untyped \(\lambda\)-calculus
- Full abstraction for PCF
- A game-theoretic framework for specification and verification of cryptographic protocols
- Abstract interpretation for proving secrecy properties in security protocols
- Retracing some paths in categorical semantics: from process-propositions-as-types to categorified reals and computers
- Projecting sequential algorithms on strongly stable functions
- A structural approach to reversible computation
- Non-uniform hypercoherences
- Sequential algorithms and strongly stable functions
- Game semantics for constructive modal logic
- Free \(\mu\)-lattices
- Concrete process categories
- The convex powerdomain in a category of posets realized by cpos
- Order algebras: a quantitative model of interaction
- Parallel and serial hypercoherences
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4490717)
