書誌情報	ファイル
表紙・目次    (1998-01)   数理解析研究所講究録, 1023
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
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
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 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
Subtyping and Inheritance for Categorical Datatypes : Preliminary Report (Type Theory and its Applications to Computer Systems)   Poll, Erik (1998-01)   数理解析研究所講究録, 1023: 112-125
Static Typing for Dynamic Messages(Type Theory and its Applications to Computer Systems)   Nishimura, Susumu (1998-01)   数理解析研究所講究録, 1023: 126-141
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