Strahm Thomas

Presentations in Math-Net.Ru

1. Types and truth in weak applicative theories
   Thomas Strahm
   International workshop "Logical Models of Reasoning and Computation"
   February 1, 2012 17:30