Searching for authors named "Masahiko Sato" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
A Simple Theory of Expressions, Judgments and Derivations
- …A Simple Theory of Expressions, Judgments and Derivations Masahiko Sato Graduate School…
- Cited by 1 (1 self) – Add To MetaCart
-
Classical Brouwer-Heyting-Kolmogorov interpretation
- …Classical Brouwer-Heyting-Kolmogorov interpretation Masahiko Sato Department of Information…
- Cited by 1 (1 self) – Add To MetaCart
-
Intuitionistic and Classical Natural Deduction Systems with the Catch and the Throw Rules
- … Masahiko Sato Department of Information Science Kyoto University masahiko@(email omitted); 1…
- Cited by 12 (1 self) – Add To MetaCart
-
Conservativeness of Lambda over lambdasigma-Calculus
- …Conservativeness of 3 over oe-calculus Masahiko Sato and Yukiyoshi Kameyama Research Institute…
- Add To MetaCart
-
Strong Normalizability of the Non-deterministic Catch/Throw Calculi
- …Strong Normalizability of the Non-deterministic Catch/Throw Calculi Yukiyoshi Kameyama and Masahiko…
- Cited by 5 (1 self) – Add To MetaCart
-
A Classical Catch/Throw Calculus with Tag Abstractions and its Strong Normalizability
- … Kameyama and Masahiko Sato Department of Information Science, Kyoto University fkameyama…
- Cited by 6 (1 self) – Add To MetaCart
-
A Simply Typed Context Calculus with First-Class Environments
- …A simply typed context calculus with first-class environments Masahiko Sato 1 , Takafumi Sakurai…
- Cited by 10 (1 self) – Add To MetaCart
Showing 1 through 7.
