Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Linking Game-Theoretical Approaches with Constructive Type Theory

Part of the SpringerBriefs in Philosophy Book Series
DOI: 10.1007/978-3-319-19063-1
ISBN: 978-3-319-19062-4
Publisher: Springer International Publishing - Springer Journals
Jul 9, 2015

1 - 7 of 7 Chapters