Yohji Akama

According to our database, Yohji Akama authored at least 23 papers between 1993 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2023

Hyperbolic polyhedral surfaces with regular faces.

Yohji Akama, Bobo Hua

Discret. Math., 2023

On deformed dodecahedron tiling.

Yohji Akama, Min Yan

Australas. J Comb., 2023

2018

Confluent terminating extensional lambda-calculi with surjective pairing and terminal type.

Yohji Akama

CoRR, 2018

2017

The Confluent Terminating Context-Free Substitutive Rewriting System for the lambda-Calculus with Surjective Pairing and Terminal Type.

Yohji Akama

Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017

2015

Spherical tilings by congruent quadrangles: Forbidden cases and substructures.

Yohji Akama, Nico Van Cleemput

Ars Math. Contemp., 2015

2014

Realizability interpretation of PA by iterated limiting PCA.

Yohji Akama

Math. Struct. Comput. Sci., 2014

2011

Set systems: Order types, continuous nondeterministic deformations, and quasi-orders.

Yohji Akama

Theor. Comput. Sci., 2011

A new order theory of set systems and better quasi-orderings

Yohji Akama

CoRR, 2011

VC dimension of ellipsoids

Yohji Akama, Kei Irie

CoRR, 2011

2010

VC Dimensions of Principal Component Analysis.

Yohji Akama, Kei Irie, Akitoshi Kawamura, Yasutaka Uwano

Discret. Comput. Geom., 2010

2009

Commutative Regular Shuffle Closed Languages, Noetherian Property, and Learning Theory.

Yohji Akama

Proceedings of the Language and Automata Theory and Applications, 2009

2008

Consistent and coherent learning with delta-delay.

Yohji Akama, Thomas Zeugmann

Inf. Comput., 2008

2006

Consistency Conditions for Inductive Inference of Recursive Functions.

Yohji Akama, Thomas Zeugmann

Proceedings of the New Frontiers in Artificial Intelligence, 2006

2005

Real Number Representations of Graph-Directed IFS Attractors.

Yohji Akama, Shinji Iizuka

Proceedings of the CCA 2005, 2005

2004

Limiting partial combinatory algebras.

Yohji Akama

Theor. Comput. Sci., 2004

An Arithmetical Hierarchy of the Law of Excluded Middle and Related Principles.

Yohji Akama, Stefano Berardi, Susumu Hayashi, Ulrich Kohlenbach

Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004

2002

Limit-Computable Mathematics and Its Applications.

Susumu Hayashi, Yohji Akama

Proceedings of the Computer Science Logic, 16th International Workshop, 2002

2001

Limiting Partial Combinatory Algebras towards Infinitary Lambda-Calculi and Classical Logic.

Yohji Akama

Proceedings of the Computer Science Logic, 15th International Workshop, 2001

1999

A Study of Abramsky's Linear Chemical Abstract Machine.

Seikoh Mikami, Yohji Akama

Proceedings of the Typed Lambda Calculi and Applications, 4th International Conference, 1999

1998

SN Combinators and Partial Combinatory Algebras.

Yohji Akama

Proceedings of the Rewriting Techniques and Applications, 9th International Conference, 1998

1997

A Lambda-to-CL Translation for Strong Normalization.

Yohji Akama

Proceedings of the Typed Lambda Calculi and Applications, 1997

1996

Normal Proofs and Their Grammar.

Masako Takahashi, Yohji Akama, Sachio Hirokawa

Inf. Comput., 1996

1993

On Mints' Reduction for ccc-Calculus.

Yohji Akama

Proceedings of the Typed Lambda Calculi and Applications, 1993