Game Semantics Logic and Foundations Math


A discussion of how linear logic relates to computability logic, - the game-sematically introduced logic of computational resources and interactive computation.








    Top: Science: Math: Logic and Foundations

Game Semantics




   MySQL - Cache Direct


  
Twitter