WorldCat Identities

Hayashi, Susumu 1953-

Overview
Works: 15 works in 35 publications in 2 languages and 273 library holdings
Classifications: QA76.9.A96, 511.3
Publication Timeline
Key
Publications about  Susumu Hayashi Publications about Susumu Hayashi
Publications by  Susumu Hayashi Publications by Susumu Hayashi
Most widely held works by Susumu Hayashi
PX, a computational logic by Susumu Hayashi ( Book )
10 editions published between 1987 and 1989 in English and Undetermined and held by 235 WorldCat member libraries worldwide
Extended projection method and realizability interpretation by Yukihide Takayama ( Book )
2 editions published in 1990 in English and held by 5 WorldCat member libraries worldwide
Abstract: "A new application of the Kreisel-Troelstra realizability interpretation is given in this paper. The realizability was originally introduced to give a semantics of an intuitionistic second order number theory, and has been used to give a semantics of polymorphism and type theoretic treatment of module structure. This paper investigates first order Kreisel-Troelstra realizability to generate redundancy free programs from constructive proofs, and show that the realizability gives a good theoretical background for program extraction."
Ohanashi sūgaku kisoron : Sūgaku dewa kanarazu tadashii ketsuron ni tōtatsudekiruka by Mariko Yasugi ( Book )
3 editions published in 2002 in Japanese and held by 4 WorldCat member libraries worldwide
Paradokkusu ( Book )
2 editions published in 2000 in Japanese and held by 4 WorldCat member libraries worldwide
Towards automated synthetic differential geometry by Susumu Hayashi ( Book )
2 editions published in 1985 in English and held by 4 WorldCat member libraries worldwide
Kagaku gijutsu ni "shisō" wa hitsuyō ka by Susumu Hayashi ( Book )
2 editions published in 2006 in Japanese and held by 4 WorldCat member libraries worldwide
Sūri ronrigaku ( Book )
2 editions published in 1989 in Japanese and held by 3 WorldCat member libraries worldwide
Jōhōkei no sūgaku nyūmon ( Book )
2 editions published in 1993 in Japanese and held by 3 WorldCat member libraries worldwide
Puroguramu kenshō ron ( Book )
2 editions published in 1995 in Japanese and held by 2 WorldCat member libraries worldwide
Fukanzensei teiri ( Book )
1 edition published in 2006 in Japanese and held by 2 WorldCat member libraries worldwide
Ronri pazuru to pazuru no ronri by Mariko Yasugi ( Book )
2 editions published in 1998 in Japanese and held by 2 WorldCat member libraries worldwide
Gēderu no nazo o toku ( Book )
2 editions published in 1993 in Japanese and held by 2 WorldCat member libraries worldwide
Sofutōea kōgaku de ryūkōsuru nihongata seisanhō ( Book )
1 edition published in 2004 in Japanese and held by 1 WorldCat member library worldwide
Kōseiteki puroguramingu no kiso ( Book )
1 edition published in 1991 in Japanese and held by 1 WorldCat member library worldwide
Some experiments on EKL by Masami Hagiya ( Book )
1 edition published in 1985 in English and held by 1 WorldCat member library worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.79 (from 0.00 for Ronri pazu ... to 1.00 for Kagaku gij ...)
Alternative Names
Hayashi, Susumu, 1953-
ハヤシ, ススム, 1953-
林晋, 1953-
Languages
Japanese (20)
English (12)