A game semantics of names and pointers (Q2474444): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(3 intermediate revisions by 3 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.apal.2007.10.006 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2125428039 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A calculus for cryptographic protocols: The spi calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4222822 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4218919 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Games and full completeness for multiplicative linear logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Full abstraction for PCF / rank
 
Normal rank
Property / cites work
 
Property / cites work: A new approach to abstract syntax with variable binding / rank
 
Normal rank
Property / cites work
 
Property / cites work: The regular-language semantics of second-order idealized ALGOL / rank
 
Normal rank
Property / cites work
 
Property / cites work: Game-theoretic analysis of call-by-value computation / rank
 
Normal rank
Property / cites work
 
Property / cites work: On full abstraction for PCF: I, II and III / rank
 
Normal rank
Property / cites work
 
Property / cites work: A theory of bisimulation for a fragment of concurrent ML with local names / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Game Semantics of Idealized CSP / rank
 
Normal rank
Property / cites work
 
Property / cites work: Foundations of Software Science and Computation Structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Game Semantics for Higher-Order Concurrency / rank
 
Normal rank
Property / cites work
 
Property / cites work: Polarized games / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4231031 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the semantics of the bad-variable constructor in Algol-like languages / rank
 
Normal rank
Property / cites work
 
Property / cites work: Foundations of Software Science and Computational Structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4501156 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4938649 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Premonoidal categories and notions of computation / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 17:27, 27 June 2024

scientific article
Language Label Description Also known as
English
A game semantics of names and pointers
scientific article

    Statements

    A game semantics of names and pointers (English)
    0 references
    0 references
    6 March 2008
    0 references
    game semantics
    0 references
    fresh name generation
    0 references
    pointer-based storage
    0 references

    Identifiers