Realizability and Existence Property of a Constructive Set Theory with Types

Farida Kachapova
  • March 2015, World Scientific Pub Co Pte Lt
  • DOI: 10.1142/9789814678001_0009

The authors haven't finished explaining this publication. If you are the author, sign in to claim or explain your work.

Read Publication

The following have contributed to this page: Dr Farida Kachapova