C

C

in: Escardó M. and Streicher T.
"In domain realizability, not all functionals on $C[-1,1]$ are continuous." (2002) 

C. S.

in: Kohlenbach U.
"Analysing proofs in analysis" (1996) 

Cah

in: Bunge M., Funk J., Jibladze M. and Streicher T.
"Definable Completeness" (2004) 

Cai J.Y.

in: Cohen B., Escardó M. and Keimel K.
"The extended probabilistic power domain monad over stably compact spaces" (2006) 

Calculi

• in: Reus B. and Streicher T.
  "Semantics and logic of object calculi" (2004)
• in: Streicher T.
  "Dependence and independence results for (impredicative) calculi of dependent types." (1992)
• in: Streicher T.
  "Independence results for calculi of dependent types." (1989)

Submit a bug

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