A New Method for Establishing Conservativity of Classical Systems Over Their Intuitionistic Version (0)

Cached

Download Links

by Thierry Coquand , Martin Hofmann
Citations:16 - 1 self