Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

[HS+98]  The groupoid interpretation of type theory

HoSt:98 (In a collection)
Author(s)M. Hofmann and T. Streicher
Title« The groupoid interpretation of type theory »

BibTeX code
@incollection{HoSt:98,
  booktitle = {Twenty-five years of constructive type theory},
  volume = 36,
  title = {The groupoid interpretation of type theory},
  series = {Oxford Logic Guides},
  year = 1998,
  author = {M. Hofmann and T. Streicher},
  publisher = {Oxford University Press},
  pages = {83-111},
}

 Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

Submit a bug

This document was generated by bib2html 6.7.
Copyright © 1998-2011 Stephane GALLAND (under the GNU General Public License)

Valid HTML 4.01!Valid CSS!