Research Catalog

Logic, language, and computation : festschrift in honor of Satoru Takasu

Title: Logic, language, and computation : festschrift in honor of Satoru Takasu / Neil D. Jones, Masami Hagiya, Masahiko Sato, eds.
Publication: Berlin ; New York : Springer-Verlag, 1994.

Filter by

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Text	Request in advance	QA76 .L56625 1994	Off-site

Additional Authors

Description

xii, 269 pages : illustrations; 24 cm.

Series Statement

Lecture notes in computer science ; 792

Uniform Title

Lecture notes in computer science ; 792.

Subjects

Contents

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

ISBN

LCCN

94010102

OCLC

Owning Institutions

Columbia University Libraries