Showing 1 - 8 results of 8 for search '佐藤, 雅彦', query time: 0.06s Refine Results
  1. 1
    Computability in some fundamental theorems in functional analysis and general topology
    by Kamo, Hiroyasu
    Published 2011
    Other Authors: “...佐藤, 雅彦...”
    Get full text
    Others
  2. 2
    Reflection Mechanism in Constructive Programming
    by Kameyama, Yukiyoshi
    Published 2012
    Other Authors: “...佐藤, 雅彦...”
    Get full text
    Others
  3. 3
    Theories of Parametric Polymorphism and Data Types
    by Takeuchi, Izumi
    Published 2014
    Other Authors: “...佐藤, 雅彦...”
    Get full text
    Others
  4. 4
    A design and theory of strongly typed object-oriented programming languages for extensible recursive classes
    by Saito, Chieri
    Published 2010
    Other Authors: “...佐藤, 雅彦...”
    Get full text
    Others
  5. 5
    A foundational theory of contexts in functional programming Language
    Other Authors: “...佐藤, 雅彦...”
    Get full text
    Others
  6. 6
    Typed λ-calculi and their Extensions
    by Sakurai, Takafumi
    Published 2011
    Other Authors: “...佐藤, 雅彦...”
    Get full text
    Others
  7. 7
    Applications of automated theorem proving methods to multi-agent systems
    by Araragi, Tadashi
    Published 2011
    Other Authors: “...佐藤, 雅彦...”
    Get full text
    Others
  8. 8
    Semantical study of intuitionistic modal logics
    by Kojima, Kensuke
    Published 2012
    Other Authors: “...佐藤, 雅彦...”
    Get full text
    Others
Search Tools: Get RSS Feed — Email this Search