View of Dependent Types for Extensive Games

Return to Article Details Dependent Types for Extensive Games Download Download PDF