On Mints' Reduction for ccc-Calculus. - Yohji Akama (TLCA, 1993)

Normal Proofs and Their Grammar. - Masako Takahashi; Yohji Akama; Sachio Hirokawa (Inf. Comput., 1996)

A Lambda-to-CL Translation for Strong Normalization. - Yohji Akama (TLCA, 1997)

SN Combinators and Partial Combinatory Algebras. - Yohji Akama (RTA, 1998)

A Study of Abramsky's Linear Chemical Abstract Machine. - Seikoh Mikami; Yohji Akama (TLCA, 1999)

Limiting Partial Combinatory Algebras towards Infinitary Lambda-Calculi and Classical Logic. - Yohji Akama (CSL, 2001)

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

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

Limiting partial combinatory algebras. - Yohji Akama (Theor. Comput. Sci., 2004)

Real Number Representations of Graph-Directed IFS Attractors. - Yohji Akama; Shinji Iizuka (CCA, 2005)

Consistency Conditions for Inductive Inference of Recursive Functions. - Yohji Akama; Thomas Zeugmann (JSAI, 2006)

Consistent and coherent learning with delta-delay. - Yohji Akama; Thomas Zeugmann (Inf. Comput., 2008)

Commutative Regular Shuffle Closed Languages, Noetherian Property, and Learning Theory. - Yohji Akama (LATA, 2009)

VC Dimensions of Principal Component Analysis. - Yohji Akama; Kei Irie; Akitoshi Kawamura; Yasutaka Uwano (Discret. Comput. Geom., 2010)

VC dimension of ellipsoids - Yohji Akama; Kei Irie (CoRR, 2011)

A new order theory of set systems and better quasi-orderings - Yohji Akama (CoRR, 2011)

Set systems: Order types, continuous nondeterministic deformations, and quasi-orders. - Yohji Akama (Theor. Comput. Sci., 2011)

Realizability interpretation of PA by iterated limiting PCA. - Yohji Akama (Math. Struct. Comput. Sci., 2014)

Spherical tilings by congruent quadrangles: Forbidden cases and substructures. - Yohji Akama; Nico Van Cleemput (Ars Math. Contemp., 2015)

The Confluent Terminating Context-Free Substitutive Rewriting System for the lambda-Calculus with Surjective Pairing and Terminal Type. - Yohji Akama (FSCD, 2017)

Confluent terminating extensional lambda-calculi with surjective pairing and terminal type. - Yohji Akama (CoRR, 2018)

On deformed dodecahedron tiling. - Yohji Akama; Min Yan (Australas. J Comb., 2023)

Hyperbolic polyhedral surfaces with regular faces. - Yohji Akama; Bobo Hua (Discret. Math., 2023)