Akira Kanda

Publication Activity (10 Years)

Years Active: 1978-2005
Publications (10 Years): 0

University of Warwick, Coventry, UK (PHD)

Education History

University of Warwick, Coventry, UK

PHD

Publications

Peter Apostoli, Akira Kanda
Proximity Spaces of Exact Sets. RSFDGrC (1) (2005)
Peter Apostoli, Akira Kanda, Lech Polkowski
First Steps Towards Computably-Infinite Information Systems. Trans. Rough Sets 2 (2004)
Peter Apostoli, Akira Kanda
Upper and Lower Recursion Schemes in Abstract Approximation Spaces. RSFDGrC (2003)
Peter Apostoli, Akira Kanda
Approximation Spaces of Type-Free Sets. Rough Sets and Current Trends in Computing (2000)
Akira Kanda
Acceptable Numerations of Morphisms and Myhill-Shepherdson Property. Math. Log. Q. 41 (1995)
Akira Kanda
Retracts of Numerations. Ann. Pure Appl. Log. 42 (3) (1989)
Akira Kanda
Productive sets and constructively nonpartial-recursive functions. Arch. Math. Log. 27 (1) (1988)
Akira Kanda
Recursion theorems and effective domains. Ann. Pure Appl. Log. 38 (3) (1988)
Akira Kanda, Alistair H. Lachlan
Alternative Characterizations of Precomplete Numerations. Math. Log. Q. 33 (2) (1987)
Akira Kanda
Numeration Models of λβ-Calculus. Math. Log. Q. 32 (25-30) (1986)
Akira Kanda
Classes of Numeration Models of λ-Calculus. Math. Log. Q. 32 (19-24) (1986)
Akira Kanda
Acceptable Numerations of Function Spaces. Math. Log. Q. 31 (31-34) (1985)
Akira Kanda
Numeration Models of λ-Calculus. Math. Log. Q. 31 (14-18) (1985)
Akira Kanda
Constructive Category Theory (No. 1). MFCS (1981)
Akira Kanda
Fully Effective Solutions of Recursive Domain Equations. MFCS (1979)
Akira Kanda, David Michael Ritchie Park
When are two Effectively given Domains Identical?. Theoretical Computer Science (1979)
Akira Kanda
Data Types as Initial Algebras: A unification of Scottery and ADJery (Extended Abstract) FOCS (1978)

Akira Kanda.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Akira Kanda