Showing 1 - 3 results of 3 for search 'Kazushige Terui', query time: 0.02s Refine Results
  1. 1
    Church => Scott = Ptime: an application of resource sensitive realizability

    Church => Scott = Ptime: an application of resource sensitive realizability by Aloïs Brunel, Kazushige Terui

    Published 2010-05-01
    Get full text
    Article
  2. 2
    On the meaning of logical completeness

    On the meaning of logical completeness by Michele Basaldella, Kazushige Terui

    Published 2010-12-01
    Get full text
    Article
  3. 3
    Verification of Ptime Reducibility for system F Terms: Type Inference in Dual Light Affine Logic

    Verification of Ptime Reducibility for system F Terms: Type Inference in Dual Light Affine Logic by Vincent Atassi, Patrick Baillot, Kazushige Terui

    Published 2007-11-01
    Get full text
    Article

Search Tools: