Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索結果表示: 1-10 / 10.

前
1
次

検索結果:

書誌情報	ファイル
A Typed Context Calculus(Type Theory and its Applications to Computer Systems) Hashimoto, Masatomo; Ohori, Atsushi (1998-01) 数理解析研究所講究録, 1023: 76-91
SN Combinators and Partial Combinatory Algebras(Type Theory and its Applications to Computer Systems) AKAMA, Yohji (1998-01) 数理解析研究所講究録, 1023: 92-111
Static Typing for Dynamic Messages(Type Theory and its Applications to Computer Systems) Nishimura, Susumu (1998-01) 数理解析研究所講究録, 1023: 126-141
Completeness Proofs for Linear Logic Based on the Proof Search Method(Preliminary Report)(Type Theory and its Applications to Computer Systems) Okada, Mitsuhiro; Terui, Kazushige (1998-01) 数理解析研究所講究録, 1023: 57-75
A Classical Catch/Throw Calculus with Tag Abstractions and its Strong Normalizability(Type Theory and its Applications to Computer Systems) Kameyama, Yukiyoshi; Sato, Masahiko (1998-01) 数理解析研究所講究録, 1023: 42-56
Simplification of Subtyping Constraints and Its Application for Monadic Programming(Type Theory and its Applications to Computer Systems) KAGAWA, Koji (1998-01) 数理解析研究所講究録, 1023: 142-155
Subtyping and Inheritance for Categorical Datatypes : Preliminary Report (Type Theory and its Applications to Computer Systems) Poll, Erik (1998-01) 数理解析研究所講究録, 1023: 112-125
Towards a Higher Order Unification Based on Proof Nets(Type Theory and its Applications to Computer Systems) Matsuoka, Satoshi (1998-01) 数理解析研究所講究録, 1023: 1-15
Recursive Types: the syntactic and semantic approaches(Type Theory and its Applications to Computer Systems) Coppo, Mario (1998-01) 数理解析研究所講究録, 1023: 16-41
表紙・目次 (1998-01) 数理解析研究所講究録, 1023