No.1023
Type Theoryとそのコンピュータシステムへの応用
Type Theory and its Applications to Computer Systems
研究集会報告集
 　
1997/09/19〜1997/09/21
Jacques Garrigue
　
目　次
　
1. Towards a Higher Order Unification Based on Proof Nets(Type Theory and its Applications to Computer Systems)----------------------1
　　　　Department of Electrical and Computer Engineering, Faculty of Engineering, Nagoya Institute of Technology　　　Matsuoka,Satoshi
　
2. Recursive Types: the syntactic and semantic approaches(Type Theory and its Applications to Computer Systems)---------------------16
　　　　Universita di Torino,Dipartimento di Informatica　　　Coppo,Mario
　
3. A Classical Catch/Throw Calculus with Tag Abstractions and its Strong Normalizability(Type Theory and its Applications to Computer Systems)---42
　　　　Department of Information Science, Kyoto University / Department of Information Science, Kyoto University　　　Kameyama,Yukiyoshi / Sato,Masahiko
　
4. Completeness Proofs for Linear Logic Based on the Proof Search Method(Preliminary Report)(Type Theory and its Applications to Computer Systems)---57
　　　　Department of Philosophy, Keio University / Department of Philosophy, Keio University　　　Okada,Mitsuhiro / Terui,Kazushige
　
5. A Typed Context Calculus(Type Theory and its Applications to Computer Systems)---------------------------------------------------76
　　　　Research Institute for Mathematical Sciences, Kyoto University / Research Institute for Mathematical Sciences, Kyoto University　　　Hashimoto,Masatomo / Ohori,Atsushi
　
6. SN Combinators and Partial Combinatory Algebras(Type Theory and its Applications to Computer Systems)----------------------------92
　　　　Department of Information Science, The University of Tokyo　　　AKAMA,Yohji
　
7. Subtyping and Inheritance for Categorical Datatypes : Preliminary Report (Type Theory and its Applications to Computer Systems)---112
　　　　University of Kent　　　Poll,Erik
　
8. Static Typing for Dynamic Messages(Type Theory and its Applications to Computer Systems)----------------------------------------126
　　　　Research Institute for Mathematical Sciences, Kyoto University　　　Nishimura,Susumu
　
9. Simplification of Subtyping Constraints and Its Application for Monadic Programming(Type Theory and its Applications to Computer Systems)---142
　　　　Dept. of Reliability-based Information Systems Engineering, Faculty of Engineering, Kagawa University　　　KAGAWA,Koji