The Anatomy of Innocence

Vincent Danos, Russell Harmer

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

We reveal a symmetric structure in the ho/n games model of innocent strategies, introducing rigid strategies, a concept dual to bracketed strategies. We prove a direct definability theorem of general innocent strategies with respect to a simply typed language of extended Böhm trees, which gives an operational meaning to rigidity in call-by-name. A corresponding factorization of innocent strategies into rigid ones with some form of conditional as an oracle is constructed.
Original languageEnglish
Title of host publicationComputer Science Logic
Subtitle of host publication15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings
EditorsLaurent Fribourg
PublisherSpringer Berlin Heidelberg
Pages188-202
Number of pages15
Volume2142
ISBN (Electronic)978-3-540-44802-0
ISBN (Print)978-3-540-42554-0
DOIs
Publication statusPublished - 2001

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg
Volume2142

Fingerprint

Dive into the research topics of 'The Anatomy of Innocence'. Together they form a unique fingerprint.

Cite this