Searching for authors named Yohji Akama – sorted by Relevance.
5 documents found, showing 1 through 5.
-
A lambda-to-CL Translation for Strong Normalization
- …A -to-CL Translation for Strong Normalization Yohji AKAMA Department of Information Science…
- Add To MetaCart
-
Translation of First-Class Environments to Records
- …Translation of first-class environments to records Shin-ya Nishizaki 3 Yohji Akama y Abstract…
- Add To MetaCart
-
Consistency Conditions for Inductive Inference of Recursive Functions
- …Consistency Conditions for Inductive Inference of Recursive Functions Yohji Akama 1 and Thomas…
- Cited by 1 (1 self) – Add To MetaCart
-
Abstract
- …TCS Technical Report TCS -TR-A-08-29 Consistent and Coherent Learning with δ -delay by Yohji Akama…
- Add To MetaCart
-
Normal Proofs and Their Grammar
- …Normal Proofs and Their Grammar Masako Takahashi, Yohji Akama Department of Information Science…
- Cited by 2 (0 self) – Add To MetaCart
Showing 1 through 5.
