Collection home page

Type Theory and its Applications to Computer Systems   10
(http://hdl.handle.net/2433/61324)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 10 of 10
BibliographyContents
表紙・目次
   (1998-01)
  数理解析研究所講究録, 1023
file type icon
Towards a Higher Order Unification Based on Proof Nets(Type Theory and its Applications to Computer Systems)
  Matsuoka, Satoshi (1998-01)
  数理解析研究所講究録, 1023: 1-15
file type icon
Recursive Types: the syntactic and semantic approaches(Type Theory and its Applications to Computer Systems)
  Coppo, Mario (1998-01)
  数理解析研究所講究録, 1023: 16-41
file type icon
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
file type icon
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
file type icon
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
file type icon
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
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 10 of 10