Proof Normalization and Subject Reduction in Extensions of Fsub

• To: types@dcs.gla.ac.uk, sv@mpi-sb.mpg.de
• Subject: Proof Normalization and Subject Reduction in Extensions of Fsub
• From: sv@mpi-sb.mpg.de (Sergei Vorobyov)
• Date: Mon, 16 Jan 95 21:53:53 +0100
• Approved: types@dcs.gla.ac.uk

Technical report MPI-I-95-2-001

                     Proof Normalization and 
                        Subject Reduction
                      in Extensions of Fsub

                      by Sergei Vorobyov

is now available through

Mosaic URL:    http://www.mpi-sb.mpg.de/guide/staff/sv/sv.html
(Section "Technical Reports") 

or via anonimous FTP from ftp mpi-sb.mpg.de
(pub/guide/staff/sv/publications/reports)

--------------------------------------------------------------------------
Sergei Vorobyov  (sv@mpi-sb.mpg.de)
Max-Planck-Institut f\"ur Informatik,            Phone: (49) (681) 302-5391
Im Stadtwald, 66123 Saarbr\"ucken, Germany.        Fax: (49) (681) 302-5401
(Mosaic URL:    http://www.mpi-sb.mpg.de/guide/staff/sv/sv.html)

• Prev: TR available: "Dynamic Types Have Existential Type"
• Next: TAPSOFT '95 Preliminary Programme
• Index(es):
  • Main
  • Thread