@article{van_Bakel-Barbanera-Dezani-Ciancaglini-Vries/02,
AUTHOR = {van Bakel, Steffen and Barbanera, Franco and Dezani-Ciancaglini, Mariangiola and Vries, Fer-Jan de},
TITLE = {Intersection types for $\lambda$-trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {272},
NUMBER = {1-2},
PAGES = {3-40},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Blanqui-Jouannaud-Okada/02,
AUTHOR = {Blanqui, Fr{\'{e}}d{\'{e}}ric and Jouannaud, Jean-Pierre and Okada, Mitsuhiro},
TITLE = {Iductive-data-type systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {272},
NUMBER = {1-2},
PAGES = {41-68},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Coppo-Damiani-Giannini/02,
AUTHOR = {Coppo, Mario and Damiani, Ferrucccio and Giannini, Paola},
TITLE = {Strictness, totality, and non-standard-type inference},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {272},
NUMBER = {1-2},
PAGES = {69-112},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hasegawa/02,
AUTHOR = {Hasegawa, Ryu},
TITLE = {Two applications of analytic functors},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {272},
NUMBER = {1-2},
PAGES = {113-175},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hayashi-Sumitomo-Shii/02,
AUTHOR = {Hayashi, Susumu and Sumitomo, Ryosuke and Shii, Kech-ichiro},
TITLE = {Towards the animation of proofs --- Testing proofs by examples},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {272},
NUMBER = {1-2},
PAGES = {177-195},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ishihara-Kurata/02,
AUTHOR = {Ishihara, Hajime and Kurata, Toshihiko},
TITLE = {Completeness of intersection and union type assignment systems for call-by-value $\lambda$-models},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {272},
NUMBER = {1-2},
PAGES = {197-221},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kameyama-Sato/02,
AUTHOR = {Kameyama, Yukiyoshi and Sato, Masahiko},
TITLE = {Strong normalizability of the non-deterministic catch/throw calculi},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {272},
NUMBER = {1-2},
PAGES = {223-245},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ker-Nickau-Ong/02,
AUTHOR = {Ker, Andrew D. and Nickau, Hanno and Ong, C.-H. Luke},
TITLE = {Innocent game models of untyped $\lambda$-calculus},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {272},
NUMBER = {1-2},
PAGES = {247-292},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Oostdijk-Geuvers/02,
AUTHOR = {Oostdijk, Martijn and Geuvers, Herman},
TITLE = {Proof by computation in the Coq system},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {272},
NUMBER = {1-2},
PAGES = {293-314},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Uustalu-Vene/02,
AUTHOR = {Uustalu, Tarmo and Vene, Varmo},
TITLE = {Least and greatest fixed points in intuitionistic natural deduction},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {272},
NUMBER = {1-2},
PAGES = {315-339},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Yokouchi/02,
AUTHOR = {Yokouchi, Hirofumi},
TITLE = {Completeness of type assignment systems with intersection, union, and type quantifiers},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {272},
NUMBER = {1-2},
PAGES = {341-398},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}