BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
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.
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.

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.