Showing 1 - 8 results of 8 for search '長谷川, 真人', query time: 0.07s Refine Results
  1. 1
    An extension of van Lambalgen's Theorem to infinitely many relative 1-random reals
    by Miyabe, Kenshi
    Published 2010
    Other Authors: “...長谷川, 真人...”
    Get full text
    Others
  2. 2
    An implementation scheme for XML transformation languages through derivation of stream processors
    by Nakano, Keisuke
    Published 2011
    Other Authors: “...長谷川, 真人...”
    Get full text
    Others
  3. 3
    Extensional Universal Types for Call-by-Valu
    by Asada, Kazuyuki
    Published 2010
    Other Authors: “...長谷川, 真人...”
    Get full text
    Others
  4. 4
    A module system with applicative functors and recursive path references
    by Nakata, Keiko
    Published 2011
    Other Authors: “...長谷川, 真人...”
    Get full text
    Others
  5. 5
    A Modified GoI Interpretation for a Linear Functional Programming Language and its Adequacy
    by Hoshino, Naohiko
    Published 2011
    Other Authors: “...長谷川, 真人...”
    Get full text
    Others
  6. 6
    Duality between Call-by-Name Recursion and Call-by-Value Iteration
    by Kakutani, Yoshihiko
    Published 2011
    Other Authors: “...長谷川, 真人...”
    Get full text
    Others
  7. 7
    Identifying All Preorders on the Subdistribution Monad
    by Sato, Tetsuya
    Published 2015
    Other Authors: “...長谷川, 真人...”
    Get full text
    Doctoral Thesis
  8. 8
    Large Scale Geometries of Infinite Strings
    by Takisaka, Toru
    Published 2018
    Other Authors: “...長谷川, 真人...”
    Get full text
    Doctoral Thesis
Search Tools: Get RSS Feed — Email this Search