| Publication | Date of Publication | Type |
|---|
| The Data structures of the lambda terms | 2024-09-09 | Paper |
Adding proof objects and inductive definition mechanisms to Frege structures
Lecture Notes in Computer Science | 2022-08-16 | Paper |
Viewing \({\lambda}\)-terms through maps
Indagationes Mathematicae. New Series | 2014-09-03 | Paper |
A canonical locally named representation of binding
Journal of Automated Reasoning | 2013-08-01 | Paper |
External and internal syntax of the \(\lambda \)-calculus
Journal of Symbolic Computation | 2010-05-05 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2007-06-21 | Paper |
Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
Lecture Notes in Computer Science | 2005-08-17 | Paper |
| scientific article; zbMATH DE number 2086323 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2000436 (Why is no real title available?) | 2003-11-03 | Paper |
| scientific article; zbMATH DE number 1950453 (Why is no real title available?) | 2003-07-17 | Paper |
Strong normalizability of the non-deterministic catch/throw calculi
Theoretical Computer Science | 2002-03-03 | Paper |
| scientific article; zbMATH DE number 1693043 (Why is no real title available?) | 2002-01-22 | Paper |
Explicit environments
Fundamenta Informaticae | 2001-04-17 | Paper |
| scientific article; zbMATH DE number 1479615 (Why is no real title available?) | 2000-07-20 | Paper |
| scientific article; zbMATH DE number 1444325 (Why is no real title available?) | 2000-05-09 | Paper |
| scientific article; zbMATH DE number 1342289 (Why is no real title available?) | 2000-02-28 | Paper |
| scientific article; zbMATH DE number 1377614 (Why is no real title available?) | 1999-12-14 | Paper |
| scientific article; zbMATH DE number 1377710 (Why is no real title available?) | 1999-12-14 | Paper |
Intuitionistic and classical natural deduction systems with the catch and the throw rules
Theoretical Computer Science | 1998-07-23 | Paper |
| scientific article; zbMATH DE number 1104350 (Why is no real title available?) | 1998-06-14 | Paper |
| scientific article; zbMATH DE number 89003 (Why is no real title available?) | 1993-01-16 | Paper |
| scientific article; zbMATH DE number 4082960 (Why is no real title available?) | 1988-01-01 | Paper |
Theory of symbolic expressions. II
Publications of the Research Institute for Mathematical Sciences, Kyoto University | 1985-01-01 | Paper |
Theory of symbolic expressions. I
Theoretical Computer Science | 1983-01-01 | Paper |
A cut-free Gentzen-type system for the modal logic S5
Journal of Symbolic Logic | 1980-01-01 | Paper |
A study of Kripke-type models for some modal logics by Gentzen's sequential method
Publications of the Research Institute for Mathematical Sciences, Kyoto University | 1977-01-01 | Paper |
The retracts in \(P\omega\) do not form a continuous lattice - a solution to Scott's problem
Theoretical Computer Science | 1977-01-01 | Paper |
On formal fractions associated with the symmetric groups
Journal of Combinatorial Theory. Series A | 1976-01-01 | Paper |
On the periods of certain pseudorandom sequences
Publications of the Research Institute for Mathematical Sciences, Kyoto University | 1974-01-01 | Paper |
Characterization of pseudo-Boolean models by Boolean models and its applications to intermediate logics
Publications of the Research Institute for Mathematical Sciences, Kyoto University | 1973-01-01 | Paper |
Numerical experiments on a conjecture of B.C. Mortimer and K.S. Williams
Proceedings of the Japan Academy, Series A, Mathematical Sciences | 1973-01-01 | Paper |
Grundy functions and linear games
Publications of the Research Institute for Mathematical Sciences, Kyoto University | 1972-01-01 | Paper |
