&

 Algebra

in: Bunge M., Funk J., Jibladze M. and Streicher T.
"The Michael completion of a topos spread" (2002) 

 and

in: Hofmann M. and Streicher T.
"Completeness of continuation models for $\lambda \mu$-calculus" (2002) 

 Categ

in: Bénabou J. and Streicher T.
"Partial Toposes" (2003) 

 Catég

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

 Categ

in: Streicher T.
"Inductive construction of repletion" (1999) 

 Comp

• in: Escardó M., Hofmann M. and Streicher T.
  "On the non-sequential nature of the interval-domain model of real-number computation" (2004)
• in: Escardó M. and Streicher T.
  "Induction and recursion on the partial real line with applications to Real PCF." (1999)
• in: Lietz P. and Streicher T.
  "Impredicativity entails untypedness" (2002)
• in: Reus B. and Streicher T.
  "Semantics and logic of object calculi" (2004)
• in: Streicher T.
  "Denotational completness revisited" (1999)

 Comput

• in: Streicher T.
  "Dependence and independence results for (impredicative) calculi of dependent types." (1992)
• in: Streicher T.
  "Independence of the induction principle and the axiom of choice in the pure calculus of constructions." (1992)

 Différ

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

 Funct

in: Reus B. and Streicher T.
"Classical logic, continuation semantics and abstract machines" (1998) 

 Géom

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

 J

in: Broy M. and Streicher T.
"Specification and design of shared resource arbitration." (1991) 

 Log

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

 Math

in: Bunge M., Funk J., Jibladze M. and Streicher T.
"Distribution algebras and duality" (2000) 

 Notes

in: Streicher T.
"Denotational completness revisited" (1999) 

 Parallel

in: Broy M. and Streicher T.
"Specification and design of shared resource arbitration." (1991) 

 Prog

in: Reus B. and Streicher T.
"Classical logic, continuation semantics and abstract machines" (1998) 

 Pure

in: Bunge M., Funk J., Jibladze M. and Streicher T.
"The Michael completion of a topos spread" (2002) 

 Sc

• in: Escardó M., Hofmann M. and Streicher T.
  "On the non-sequential nature of the interval-domain model of real-number computation" (2004)
• in: Lietz P. and Streicher T.
  "Impredicativity entails untypedness" (2002)
• in: Reus B. and Streicher T.
  "Semantics and logic of object calculi" (2004)
• in: Streicher T.
  "Denotational completness revisited" (1999)
• in: Streicher T.
  "Dependence and independence results for (impredicative) calculi of dependent types." (1992)
• in: Streicher T.
  "Independence of the induction principle and the axiom of choice in the pure calculus of constructions." (1992)

 Sci

• in: Escardó M. and Streicher T.
  "Induction and recursion on the partial real line with applications to Real PCF." (1999)
• in: Reus B. and Streicher T.
  "General synthetic domain theory---a logical approach." (1999)

 Struct

• in: Escardó M., Hofmann M. and Streicher T.
  "On the non-sequential nature of the interval-domain model of real-number computation" (2004)
• in: Lietz P. and Streicher T.
  "Impredicativity entails untypedness" (2002)
• in: Streicher T.
  "Inductive construction of repletion" (1999)
• in: Streicher T.
  "Dependence and independence results for (impredicative) calculi of dependent types." (1992)

 Structures

in: Reus B. and Streicher T.
"General synthetic domain theory---a logical approach." (1999) 

 Topol

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

Submit a bug

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