BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Akama:Yohji

Contributed to:

LATA 20092009
LICS 20042004
CSL 20022002
CSL 20012001
TLCA 19991999
RTA 19981998
TLCA 19971997
TLCA 19931993

Wrote 8 papers:

LATA-2009-Akama #commutative #learning
Commutative Regular Shuffle Closed Languages, Noetherian Property, and Learning Theory (YA), pp. 93–104.
An Arithmetical Hierarchy of the Law of Excluded Middle and Related Principles (YA, SB, SH, UK), pp. 192–201.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.