Travelled to:1 × Finland
1 × Italy
1 × Japan
1 × Spain
1 × The Netherlands
1 × United Kingdom
2 × France
Collaborated with:∅ S.Hayashi S.Mikami S.Berardi U.Kohlenbach
Talks about:combinatori (2) partial (2) algebra (2) limit (2) noetherian (1) infinitari (1) hierarchi (1) translat (1) properti (1) principl (1)
Person: Yohji Akama
DBLP: Akama:Yohji
Contributed to:
2009
2004
20022001
1999
199819971993Wrote 8 papers:
- LATA-2009-Akama #commutative #learning
- Commutative Regular Shuffle Closed Languages, Noetherian Property, and Learning Theory (YA), pp. 93–104.
- LICS-2004-AkamaBHK
- An Arithmetical Hierarchy of the Law of Excluded Middle and Related Principles (YA, SB, SH, UK), pp. 192–201.
- CSL-2002-HayashiA
- Limit-Computable Mathematics and Its Applications (SH, YA), p. 1.
- CSL-2001-Akama #algebra #combinator #logic #towards #λ-calculus
- Limiting Partial Combinatory Algebras towards Infinitary λ-Calculi and Classical Logic (YA), pp. 399–413.
- TLCA-1999-MikamiA #automaton #case study #linear
- A Study of Abramsky’s Linear Chemical Abstract Machine (SM, YA), pp. 243–257.
- RTA-1998-Akama #algebra #combinator
- SN Combinators and Partial Combinatory Algebras (YA), pp. 302–316.
- TLCA-1997-Akama #normalisation
- A λ-to-CL Translation for Strong Normalization (YA), pp. 1–10.
- TLCA-1993-Akama #calculus #on the #reduction
- On Mints’ Reduction for ccc-Calculus (YA), pp. 1–12.