Switch to: References

Add citations

You must login to add citations.
  1. Treatise on intuitionistic type theory.Johan Georg Granström - 2011 - New York: Springer.
    Prolegomena It is fitting to begin this book on intuitionistic type theory by putting the subject matter into perspective. The purpose of this chapter is to ...
    Download  
     
    Export citation  
     
    Bookmark   10 citations