Akira Kanda - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 18 from 18

2005

Proximity Spaces of Exact SetsPeter Apostoli, Akira Kanda. rsfdgrc 2005: 94-103 [doi]

2004

First Steps Towards Computably-Infinite Information SystemsPeter Apostoli, Akira Kanda, Lech Polkowski. trs, :151-188, 2004. [doi]

2003

Upper and Lower Recursion Schemes in Abstract Approximation SpacesPeter Apostoli, Akira Kanda. rsfdgrc 2003: 205-212 [doi]

2000

Approximation Spaces of Type-Free SetsPeter Apostoli, Akira Kanda. rsctc 2001: 98-105 [doi]

1995

Acceptable Numerations of Morphisms and Myhill-Shepherdson PropertyAkira Kanda. mlq, 41:39-48, 1995.

1989

Retracts of NumerationsAkira Kanda. APAL, 42(3):225-242, 1989.

1988

Recursion theorems and effective domainsAkira Kanda. APAL, 38(3):289-300, 1988. [doi]

Productive sets and constructively nonpartial-recursive functionsAkira Kanda. AML, 27(1):49-50, 1988. [doi]

1987

Alternative Characterizations of Precomplete NumerationsAkira Kanda, Alistair H. Lachlan. mlq, 33(2):97-100, 1987. [doi]

1986

Classes of Numeration Models of λ-CalculusAkira Kanda. mlq, 32(19-24):315-322, 1986. [doi]

Numeration Models of λβ-CalculusAkira Kanda. mlq, 32(25-30):409-414, 1986. [doi]

1985

Numeration Models of λ-CalculusAkira Kanda. mlq, 31(14-18):209-220, 1985. [doi]

Acceptable Numerations of Function SpacesAkira Kanda. mlq, 31(31-34):503-508, 1985. [doi]

1981

Constructive Category Theory (No. 1)Akira Kanda. mfcs 1981: 563-577

1980

Effective solutions of recursive domain equationsAkira Kanda. PhD thesis, University of Warwick, Coventry, UK, 1980. [doi]

1979

When are two Effectively given Domains Identical?Akira Kanda, David Michael Ritchie Park. tcs 1979: 170-181

Fully Effective Solutions of Recursive Domain EquationsAkira Kanda. mfcs 1979: 326-336

1978

Data Types as Initial Algebras: A unification of Scottery and ADJery (Extended Abstract)Akira Kanda. focs 1978: 221-230

Sign in or sign up to see more results.

runs on WebDSL