書誌情報 | ファイル |
表紙・目次 (2003-05) 数理解析研究所講究録, 1318
|  |
Pointwise and Sequential Continuity in Constructive Analysis (Algebra, Logic and Geometry in Informatics) Ishihara, Hajime (2003-05) 数理解析研究所講究録, 1318: 1-2
|  |
Effective Limit in Computable Analysis (Algebra, Logic and Geometry in Informatics) Takeuti, Izumi (2003-05) 数理解析研究所講究録, 1318: 3-14
|  |
整合的ドメインの極限要素集合の次元について (代数・論理・幾何と情報科学) 立木, 秀樹 (2003-05) 数理解析研究所講究録, 1318: 15-20
|  |
メレオトポロジ-と計算 (代数・論理・幾何と情報科学) 三好, 博之 (2003-05) 数理解析研究所講究録, 1318: 21-29
|  |
Structural Induction and the $\lambda$-Calculus (Algebra, Logic and Geometry in Informatics) Vestergaard, Rene (2003-05) 数理解析研究所講究録, 1318: 30-45
|  |
Nominal Sets, Equivariance Reasoning, and Variable Binding (Algebra, Logic and Geometry in Informatics) Gabbay, Murdoch J. (2003-05) 数理解析研究所講究録, 1318: 46-47
|  |
Equational Tree Automata : Towards Automated Verification of Network Protocols (Algebra, Logic and Geometry in Informatics) Ohsaki, Hitoshi; Takai, Toshinori (2003-05) 数理解析研究所講究録, 1318: 48-52
|  |
Towards a Convenient Category of Topological Domains (Algebra, Logic and Geometry in Informatics) Simpson, Alex (2003-05) 数理解析研究所講究録, 1318: 53-73
|  |
Channel Theory as a Philosophical Experiment : Abstract (Algebra, Logic and Geometry in Informatics) Shimojima, Atsushi (2003-05) 数理解析研究所講究録, 1318: 74-74
|  |
Ideas in Logic and Computer-Science related to Ludics (Algebra, Logic and Geometry in Informatics) Nagayama, Misao (2003-05) 数理解析研究所講究録, 1318: 75-93
|  |
関係デ-タベ-スにおける従属性検証システムの実装 (代数・論理・幾何と情報科学) 本多, 和正 (2003-05) 数理解析研究所講究録, 1318: 94-101
|  |
Demonic orders and quasi-totality in Dedekind categories (Algebra, Logic and Geometry in Informatics) Kawahara, Yasuo; Okuma, Hitomi (2003-05) 数理解析研究所講究録, 1318: 102-112
|  |
明示的環境計算体系への部分型の導入 (代数・論理・幾何と情報科学) 澤田, 康秀 (2003-05) 数理解析研究所講究録, 1318: 113-121
|  |
A study on an immune network dynamical system model (Algebra, Logic and Geometry in Informatics) Itaya, Satoko (2003-05) 数理解析研究所講究録, 1318: 122-132
|  |
Coherence of the Double Negation in Linear Logic (Algebra, Logic and Geometry in Informatics) Hasegawa, Masahito (2003-05) 数理解析研究所講究録, 1318: 133-135
|  |
一般設計学と抽象設計論に関する考察 (代数・論理・幾何と情報科学) 菊池, 誠 (2003-05) 数理解析研究所講究録, 1318: 136-148
|  |
Exponential Free Typed Bohm Theorem (Algebra, Logic and Geometry in Informatics) Matsuoka, Satoshi (2003-05) 数理解析研究所講究録, 1318: 149-149
|  |
Embedding into Wreath Product and the Yoneda Lemma (Algebra, Logic and Geometry in Informatics) Hasegawa, Ryu (2003-05) 数理解析研究所講究録, 1318: 150-159
|  |
Geometry of Interaction explained (Algebra, Logic and Geometry in Informatics) Shirahata, Masaru (2003-05) 数理解析研究所講究録, 1318: 160-187
|  |