Games for Dependent Types

Samson Abramsky, Radha Jagadeesan, Matthijs Vákár

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationAutomata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II
EditorsMagnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann
PublisherSpringer
Pages31-43
Number of pages13
Volume9135
DOIs
Publication statusPublished - 2015

Publication series

NameLecture Notes in Computer Science
PublisherSpringer

Cite this