Adjunction of Semifunctors: Categorical Structures in Nonextensional Lambda Calculus. - Susumu Hayashi (Theor. Comput. Sci., 1985)

PX: a system extracting programs from proofs. - Susumu Hayashi (Formal Description of Programming Concepts, 1987)

Logic of Refinement Types. - Susumu Hayashi (TYPES, 1993)

Lifschitz' Logic of Calcubable Numbers and Optimizations in Program Extraction. - Susumu Hayashi; Yukihide Takayama (Logic, Language and Computation, 1994)

A Functional System with Transfinitely Defined Types. - Mariko Yasugi; Susumu Hayashi (Logic, Language and Computation, 1994)

Singleton, Union and Intersection Types for Program Extraction - Susumu Hayashi (Inf. Comput., 1994)

Constructive Programming: A Personal View. - Susumu Hayashi (DMTCS, 1996)

Two Extensions of PX system. - Susumu Hayashi; Masakazu Ishikawa; Satoshi Kobayashi; Hiroshi Nakano; Syuichi Nakazaki (Linear Logic Tokyo Meeting, 1996)

Testing Proofs by Examples. - Susumu Hayashi; Ryosuke Sumitomo (ASIAN, 1998)

Towards Limit Computable Mathematics. - Susumu Hayashi; Masahiro Nakata (TYPES, 2000)

Mathematics Based on Learning. - Susumu Hayashi (ALT, 2002)

Limit-Computable Mathematics and Its Applications. - Susumu Hayashi; Yohji Akama (CSL, 2002)

Towards the animation of proofs - testing proofs by examples. - Susumu Hayashi; Ryosuke Sumitomo; Ken-ichiro Shii (Theor. Comput. Sci., 2002)

An Arithmetical Hierarchy of the Law of Excluded Middle and Related Principles. - Yohji Akama; Stefano Berardi; Susumu Hayashi; Ulrich Kohlenbach (LICS, 2004)

Test Driven Development of UML Models with SMART Modeling System. - Susumu Hayashi; Pan YiBing; Masami Sato; Kenji Mori; Sul Sejeon; Shuusuke Haruna (UML, 2004)

Mathematics based on incremental learning - Excluded middle and inductive inference. - Susumu Hayashi (Theor. Comput. Sci., 2006)

Can Proofs be Animated by Games? - Susumu Hayashi (Fundam. Informaticae, 2007)

Semantics of a Graphical Model for Representing Hypotheses and a System Supporting the Management of Hypotheses. - Madori Ikeda; Masaaki Nishino; Koichiro Doi; Akihiro Yamamoto; Susumu Hayashi (KICSS, 2010)

Games with 1-backtracking. - Stefano Berardi; Thierry Coquand; Susumu Hayashi (Ann. Pure Appl. Log., 2010)

The SMART-GS Project: An Approach to Image-based Digital Humanities. - Yuta Hashimoto; Kenro Aihara; Susumu Hayashi; Minao Kukita; Makoto Ohura (DH, 2014)