Giovanni Sambin

2 books • 1 series

Aug 30, 2018
Cover of The Basic Picture

The Basic Picture (Oxford Logic Guides)

Oct 15, 1998
Cover of Twenty-Five Years of Constructive Type Theory

Twenty-Five Years of Constructive Type Theory (Oxford Logic Guides, #36)