Satoru Takasu, 1994

Neil D. Jones, Masami Hagiya, Masahiko Sato (Eds.): Logic, Language and Computation, Festschrift in Honor of Satoru Takasu. Lecture Notes in Computer Science 792 Springer 1994

@proceedings{DBLP:conf/birthday/1994takasu,
  editor    = {Neil D. Jones and
               Masami Hagiya and
               Masahiko Sato},
  title     = {Logic, Language and Computation, Festschrift in Honor of Satoru
               Takasu},
  booktitle = {Logic, Language and Computation},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {792},
  year      = {1994},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Constructive Type Theory

Susumu Hayashi, Yukihide Takayama: Lifschitz' Logic of Calcubable Numbers and Optimizations in Program Extraction. 1-9
Masami Hagiya, Yozo Toda: On Implicit Arguments. 10-30
Mariko Yasugi, Susumu Hayashi: A Functional System with Transfinitely Defined Types. 31-60
Hiroshi Nakano: The Non-deterministic Catch and Throw Mechanism and Its Subject Reduction Property. 61-72

Lambda Calculus

Masahiko Sato, Yukiyoshi Kameyama: Conservativeness of Lambda over lambda-sigma-Calculus. 73-94
Shin-ya Nishizaki: ML with First-Class Environments and its Type Inference Algorithm. 95-116
Masako Takahashi: A Simple Proof of the Genericity Lemma. 117-118

Logic, Algebra, and Applications

Richard W. Weyhrauch, Carolyn L. Talcott: The Logic of FOL Systems: Formulated in Set Theory. 119-132
Ryu Hasegawa: Well-Ordering of Algebras and Kruskal`s Theorem. 133-172
Shigeru Igarashi, Tetsuya Mizutani, Takashi Tsuji, Chiharu Hosono: On Locomorphism in Analytical Equivalence Theory. 173-187
Kohji Tomita, Takashi Tsuji, Shigeru Igarashi: Analysis of a Software/Hardware System by Tense Arithmetic. 188-205

Program Transformation

Neil D. Jones: The Essence of Program Transformation by Partial Evaluation and Driving. 206-224
Ian A. Mason, Carolyn L. Talcott: Program Transformation via Contextual Assertions. 225-254

Complexity and Coding

Kojiro Kobayashi: On Coding Theorems with Modified Length Functions. 255-259
Takumi Kasai, Shusaku Sawato, Shigeki Iwata: Thirty four Comparisons are Required to Sort 13 Items. 260-269