Claudia Faggian, Martin Hyland  Home/Search
Context Related
| cl.cam.ac.uk/TechR...UCAMCLTR535.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cl.cam.ac.uk/Te...CAMCLTRtable (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Important progresses in logic are leading to interactive and dynamical models. Geometry of Interaction and Games Semantics are two major examples. Ludics, initiated by Girard, is a further step in this direction. (Update)
Cited by: More
A Game Semantics of Linearly Used Continuations - Laird (2002) (Correct)
Similar documents (at the sentence level):
14.7%: Designs, Disputes and Strategies - Faggian, Hyland (2002) (Correct)
Active bibliography (related documents): More All
0.0: Symmetry and Interactivity in Programming - Curien (2001) (Correct)
0.0: Playful, Streamlike Computation - Curien (2003) (Correct)
0.0: Travelling on Designs - Ludics Dynamics - Faggian (2002) (Correct)
Similar documents based on text: More All
0.4: Interactive Observability in Ludics - Faggian (2003) (Correct)
0.3: Basic Logic: Reflection, Symmetry, Visibility. - Sambin, Battilotti, Faggian (2000) (Correct)
0.3: Xen 2002 - Barham, Dragovic, Fraser, Hand.. (2002) (Correct)
BibTeX entry: (Update)
C. Faggian and J. M. E. Hyland. Designs disputes and strategies. In Proccedings of CSL '02, 2002. http://citeseer.ist.psu.edu/faggian02designs.html More
@misc{ faggian02designs,
author = "C. Faggian and J. Hyland",
title = "Designs disputes and strategies",
text = "C. Faggian and J. M. E. Hyland. Designs disputes and strategies. In Proccedings
of CSL '02, 2002.",
year = "2002",
url = "citeseer.ist.psu.edu/faggian02designs.html" }
Citations (may not include all citations):69 Geometry of interaction i: Interpretation of system f (context) - Girard - 1989
58 A fully abstract game semantics for general references (context) - Abramsky, Honda et al. - 1998
54 Games and Full Abstraction for a Functional Metalanguage wit.. (context) - McCusker - 1996
38 Information and Computation - Hyland, Ong et al. - 2000
35 Games semantics and abstract machines (context) - Danos, Herbelin et al. - 1996
18 Mathematical Structures in Computer Science (context) - Girard - 2001
2 chapter Game semantics (context) - Abramsky, McCusker - 1999
1 Games Semantics and Full Abstraction for Nondeterministic La.. (context) - Harmer - 1999
1 Universite Aix-Marseille II (context) - Faggian, Dynamics et al. - 2002
Documents on the same site (http://www.cl.cam.ac.uk/TechReports/UCAM-CL-TR-table.html): More
A Probabilistic Model of Information Retrieval.. - Jones, Walker, Robertson (1998) (Correct)
A HOL specification of the ARM instruction set architecture - Fox (2001) (Correct)
Software Visualization in Prolog - Grant (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC