1.

電子ブック
ＥＢ
1. Types for Proofs and Programs : International Workshop TYPES'93 Nijmegen, The Netherlands, May 24–28, 1993 Selected Papers
edited by Henk Barendregt, Tobias Nipkow
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 806
オンライン: http://dx.doi.org/10.1007/3-540-58085-9
2.

電子ブック
ＥＢ
2. Higher-Order Algebra, Logic, and Term Rewriting : First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers
edited by Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 816
オンライン: http://dx.doi.org/10.1007/3-540-58233-9