Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT demonstrations and the Axiom of Choice (SpringerBriefs in Philosophy)
Nicolas Clerbout,Shahid Rahman
Discover references
Nicolas Clerbout,Shahid Rahman
Anthony Lo Bello
Mary Beth RossonandJohn M. Carroll (Auth.)
Karen Stober,Emilia Jamroziak,Julie Kerr
Detlef Dürr,Dustin Lazarovici
Abhishek Ratan
John R. Goldblum,Laura W. Lamps,Jesse K. McKenney,Jeffrey L. Myers
Hackam, David J.; Good, Misty; Sodhi, Chhinder P.
Ying-ping Chen (auth.)
Kimberly Maich,Darren Levine,Carmen Hall (auth.)
William D. James MD,Timothy Berger MD,Dirk Elston MD
Moore,K.
Dr. Janice L Hinkle,Kerry H. Cheever
Barbara Ann Kipfer
Eric S. Raymond
Sharon Boller;Laura Fletcher
E. Bohm-Vitense
Andrei Grebennikov
Akshat Paul,Abhishek Nalwaya
Noureddine Miladi (editor)
Hans Lüth (auth.)
Yang, Suying; Cui, Guiyun; Lu, Shaokai