Logic, Language and Computation

Keyphrases

Publications

1994

Mariko Yasugi, Susumu Hayashi
A Functional System with Transfinitely Defined Types. Logic, Language and Computation (1994)
Hiroshi Nakano
The Non-deterministic Catch and Throw Mechanism and Its Subject Reduction Property. Logic, Language and Computation (1994)
Shin-ya Nishizaki
ML with First-Class Environments and its Type Inference Algorithm. Logic, Language and Computation (1994)
Takumi Kasai, Shusaku Sawato, Shigeki Iwata
Thirty four Comparisons are Required to Sort 13 Items. Logic, Language and Computation (1994)
Masami Hagiya, Yozo Toda
On Implicit Arguments. Logic, Language and Computation (1994)
Susumu Hayashi, Yukihide Takayama
Lifschitz' Logic of Calcubable Numbers and Optimizations in Program Extraction. Logic, Language and Computation (1994)
Ryu Hasegawa
Well-Ordering of Algebras and Kruskal's Theorem. Logic, Language and Computation (1994)
Kohji Tomita, Takashi Tsuji, Shigeru Igarashi
Analysis of a Software/Hardware System by Tense Arithmetic. Logic, Language and Computation (1994)
Richard W. Weyhrauch, Carolyn L. Talcott
The Logic of FOL Systems: Formulated in Set Theory. Logic, Language and Computation (1994)
Kojiro Kobayashi
On Coding Theorems with Modified Length Functions. Logic, Language and Computation (1994)
Ian A. Mason, Carolyn L. Talcott
Program Transformation via Contextual Assertions. Logic, Language and Computation (1994)
Shigeru Igarashi, Tetsuya Mizutani, Takashi Tsuji, Chiharu Hosono
On Locomorphism in Analytical Equivalence Theory. Logic, Language and Computation (1994)
Neil D. Jones
The Essence of Program Transformation by Partial Evaluation and Driving. Logic, Language and Computation (1994)
Masahiko Sato, Yukiyoshi Kameyama
Conservativeness of Lambda over lambda-sigma-Calculus. Logic, Language and Computation (1994)
Masako Takahashi
A Simple Proof of the Genericity Lemma. Logic, Language and Computation (1994)

volume 792, 1994

Logic, Language and Computation, Festschrift in Honor of Satoru Takasu Logic, Language and Computation 792 (1994)