Games for recursive types

Games for recursive types

Bibliographic Details
Main Authors:	Abramsky, S, McCusker, G
Format:	Conference item
Published:	Imperial College Press 1995

Similar Items

Game Semantics
by: Abramsky, S, et al.
Published: (1999)

Call−by−value games
by: Abramsky, S, et al.
Published: (1998)

Games and Full Abstraction for the Lazy λ−calculus
by: Abramsky, S, et al.
Published: (1995)

Linearity‚ Sharing and State: a fully abstract game semantics for Idealized Algol
by: Abramsky, S, et al.
Published: (1997)

A fully abstract game semantics for general references
by: Abramsky, S, et al.
Published: (1998)

Full Abstraction for Idealized Algol with passive expressions
by: Abramsky, S, et al.
Published: (1999)

A Graph Model for Imperative Computation
by: Guy McCusker
Published: (2010-01-01)

Why accelerating partnerships in the Sanitation Economy really matters
by: Erin McCusker
Published: (2020-12-01)

Recursive Concurrent Stochastic Games
by: Kousha Etessami, et al.
Published: (2008-11-01)

Tiling soil textures for terrestrial ecosystem modelling via clustering analysis: a case study with CLASS-CTEM (version 2.1)
by: J. R. Melton, et al.
Published: (2017-07-01)

Huntington disease: from premanifest to diagnosis and early care
by: Elizabeth A McCusker
Published: (2019-01-01)

Subversive game design for recursive learning
by: Mitgutsch, Konstantin, et al.
Published: (2015)

Game semantics for dependent types
by: Vákár, M, et al.
Published: (2018)

Primary immunodeficiency
by: McCusker Christine, et al.
Published: (2011-11-01)

The Many Facets of Unawareness in Huntington Disease
by: Elizabeth McCusker, et al.
Published: (2014-11-01)

Fostering the trustworthiness of researchers: SPECS and the role of ethical reflexivity in novel neurotechnology research
by: Paul Tubig, et al.
Published: (2021-04-01)

Video game for learning and metaphorization of recursive algorithms
by: Ricardo Inacio Alvares Silva, et al.
Published: (2013-09-01)

Huntington Disease: The Complexities of Making and Disclosing a Clinical Diagnosis After Premanifest Genetic Testing
by: Elizabeth A. McCusker, et al.
Published: (2017-09-01)

Anti-schistosomal action of the calcium channel agonist FPL-64176
by: Paul McCusker, et al.
Published: (2019-12-01)

Solving the Structures of Polycrystalline Materials: from the Debye-Scherrer Camera to SwissFEL
by: Lynne B. McCusker, et al.
Published: (2014-02-01)

Concurrent Interaction Games
by: Abramsky, S
Published: (2000)

Type Inference for Bimorphic Recursion
by: Makoto Tatsuta, et al.
Published: (2011-06-01)

The influenza bomb : a novel /
by: McCusker, Paul, 1958-, et al.
Published: (c201)

Using Semantic Web Technologies to Annotate and Align Microarray Designs
by: Sebastian Szpakowski, et al.
Published: (2009-01-01)

Using Semantic Web Technologies to Annotate and Align Microarray Designs
by: Sebastian Szpakowski, et al.
Published: (2009-01-01)

A Unifying Framework to Study Workplace Decision-Making Aptitude and Performance
by: Blacksmith, Nikki, et al.
Published: (2020-07-01)

Primary immunodeficiency
by: Christine McCusker, et al.
Published: (2018-09-01)

Using Semantic Web Technologies to Annotate and Align Microarray Designs
by: Sebastian Szpakowski, et al.
Published: (2009-05-01)

Positional information is reprogrammed in blastema cells of the regenerating limb of the axolotl (Ambystoma mexicanum).
by: Catherine D McCusker, et al.
Published: (2013-01-01)

Pediatric Hemophagocytic Syndromes: A Diagnostic and Therapeutic Challenge
by: Jabado Nada, et al.
Published: (2005-12-01)

A Recursive Approach to Solving Parity Games in Quasipolynomial Time
by: Karoliina Lehtinen, et al.
Published: (2022-01-01)

Improved Undecidability Results for Reachability Games on Recursive Timed Automata
by: Shankara Narayanan Krishna, et al.
Published: (2014-08-01)

From CSP to Game Semantics
by: Abramsky, S
Published: (2010)

Games in the Semantics of Programming Languages
by: Abramsky, S
Published: (1997)

Game Semantics for Programming Languages
by: Abramsky, S
Published: (1997)

Semantics of Interaction: an introduction to Game Semantics
by: Abramsky, S
Published: (1997)

Sequentiality vs. concurrency in games and logic
by: Abramsky, S
Published: (2003)

Polynomial tails of additive-type recursions
by: Eva-Maria Schopp
Published: (2008-01-01)

General Recursion via Coinductive Types
by: Venanzio Capretta
Published: (2005-07-01)

On recursion
by: Watumull, Jeffrey, et al.
Published: (2014)