Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

[Str92b]  Independence of the induction principle and the axiom of choice in the pure calculus of constructions.

Str:92b (Article)
Author(s)T. Streicher
Title« Independence of the induction principle and the axiom of choice in the pure calculus of constructions. »
JournalTheoret. Comput. Sc.
Volume103
Number2
Page(s)395-408
Year1992

BibTeX code
@article{Str:92b,
  number = {2},
  volume = {103},
  author = {T. Streicher},
  title = {Independence of the induction principle and the axiom of choice in
           the pure calculus of constructions.},
  pages = {395-408},
  year = {1992},
  journal = {Theoret.~Comput.~Sc.},
}

 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!