Linking Game-Theoretical Approaches with Constructive Type Theory

MLA

Clerbout, Nicolas; Rahman, Shahid, and Shahid Rahman. Linking Game-theoretical Approaches with Constructive Type Theory. Springer International Publishing, 2015.

APA

Clerbout, S., & Rahman, S. (2015). Linking Game-Theoretical Approaches with Constructive Type Theory. Springer International Publishing.

Chicago

Clerbout, Nicolas; Rahman, Shahid, and Shahid Rahman. Linking Game-Theoretical Approaches with Constructive Type Theory. : Springer International Publishing, 2015.