Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

[Str13]  Krivine's Classical Realizability from a Categorical Perspective

Streicher:13 (Article)
Author(s)Streicher, Thomas
Title« Krivine's Classical Realizability from a Categorical Perspective »
JournalMathematical Structures in Computer Science
Volume23
Page(s)1234-1256
Year2013

BibTeX code
@article{Streicher:13,
  author = {Streicher, Thomas},
  volume = {23},
  year = {2013},
  pages = {1234-1256},
  journal = {Mathematical Structures in Computer Science},
  title = {Krivine's Classical Realizability from a Categorical Perspective},
}

 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!