TYPES list archives

• No Subject
  
• Two papers on higher-order polymorphism and subtyping Benjamin Pierce <bcp@uk.ac.ed.dcs>
  
• ABSTRACT URSINI@sivax.cineca.it
  
• A flaw in the proof of Fermat's theorem Mamede Lima Marques - POS_MAT <mamede@ime.unicamp.br>
  
• BRA project `Types for Proofs and Programs' Herman Geuvers <herman@cs.kun.nl>
  
• CORRECTION URSINI@sivax.cineca.it
  
• categorical treatment of F_omega? David Espinosa <espinosa@cs.columbia.edu>
  
• paper announcement dam@ai.mit.edu (David McAllester)
  
• Intuitionistic Sets and Ordinals (paper by FTP) Paul Taylor <pt@doc.imperial.ac.uk>
  
• Isabelle course -- places still available Lawrence C Paulson <Larry.Paulson@cl.cam.ac.uk>
  
• Paper on representation of the Reals (and others from Darmstadt) Philipp Suenderhauf <sunderhauf@mathematik.th-darmstadt.de>
  
• Proof Theory, Complexity, Metamathematics kgs@csdec1.tuwien.ac.at
  
• Higher-order polymorphism: corrected version Benjamin Pierce <bcp@uk.ac.ed.dcs>
  
• A Hitchhiker's Guide to Linear Decorating "Harold A.J.M. Schellinx" <harold@fwi.uva.nl>
  
• Program Annoucement for ASL Annual Meeting dale@saul.cis.upenn.edu (Dale Miller)
  
• Recent papers relevant to linear logic Vaughan Pratt <pratt@cs.stanford.edu>
  
• paper available by ftp girard@lmd.univ-mrs.fr (Jean-Yves GIRARD)
  
• PSSL announcement Edmund Robinson <edmundr@cogs.sussex.ac.uk>
  
• subtype inference system available Alex Aiken <aiken@CS.Berkeley.EDU>
  
• "A Theory of Primitive Objects"; paper available by ftp. luca@src.dec.com
  
• CFP: Proof search in type-theoretic languages Didier Galmiche <Didier.Galmiche@loria.fr>
  
• Summary: Type Theory text/reference tuinstra@sun.mcs.clarkson.edu (Dwight Tuinstra)
  
• a full abstraction result for local variables sieber@cs.uni-sb.de (Kurt Sieber)
  
• Fsub+recursive types: two FTP-papers Serge Vorobyov <Serge.Vorobyov@loria.fr>
  
• types Stefano Berardi <stefano@cs.chalmers.se>
  
• Re: Summary: Type Theory text/reference Mitchell Wand <wand@ccs.neu.edu>
  
• Pointers needed in extensions to Martin-Lof type theory Joshua Caplan <caplan@cs.uiuc.edu>
  
• paper available mrh@math.tulane.edu (Michael Huth)
  
• Pointers needed in extensions to Martin-Lof type theory otto@triples.Math.McGill.CA (James Otto)
  
• new dissertation and talk Masaru Shirahata <masaru@EDU.Stanford.CSLI>
  
• Evolving Algebra semantics for LL (request) Vladimir Alexiev <vladimir@cs.ualberta.ca>
  
• new dissertation available by ftp Masaru Shirahata <masaru@CSLI.Stanford.EDU>
  
• TLCA: First Call for Papers (Plain Text and Latex) Gordon Plotkin <gdp@uk.ac.ed.dcs>
  
• summer school on partial evaluation Olivier Danvy <danvy@daimi.aau.dk>
  
• Re: Evolving Algebra semantics for LL (request) Vladimir Alexiev <vladimir@cs.ualberta.ca>
  
• Re: Evolving Algebra semantics for LL (request) John "C." Mitchell <jcm@cs.Stanford.EDU>
  
• Papers available by Public ftp Greg Restall <Greg.A.Restall@arp.anu.edu.au>
  
• Re: Papers available by Public ftp pratt@CS.Stanford.EDU
  
• Last CFP CADE-12 Workshop on Proof Search in Type-theoretic Languages Didier Galmiche <Didier.Galmiche@loria.fr>
  
• Independent sets of constant-only formulas do exist maxk@lmd.univ-mrs.fr (Max KANOVITCH)
  
• non-commut !-free LL is PSPACE-complete maxk@lmd.univ-mrs.fr (Max KANOVITCH)
  
• ilps94 call for workshop proposal (text+latex) Francesca Rossi <rossi@di.unipi.it>
  
• papers available joerg@leibniz.informatik.uni-tuebingen.de (Joerg Hudelmaier)
  
• CFP, ECOOP'94 workshop (W4) on Logical Foundations of OOP Jean.Marc.Andreoli@xerox.fr (Jean Marc Andreoli)
  
• School announcement HONSELL@IT.CINECA.UDUNIV
  
• LICS'94 Program and Registration felty@research.att.com (Amy Felty)
  
• Colloquium: Giuseppe.Longo@ens.fr
  
• Re: Foundations of Object-Oriented Languages Andrew "P." Black <black@crl.dec.com>
  
• Substructural Logics psh@De.Uni-Tuebingen.Informatik.hume (Peter Schroeder-Heister)
  
• Workshop on Logic, Lang., Inform. & Comp. Ruy de Queiroz <ruy@di.ufpe.br>
  
• WWW Pat Lincoln <lincoln@csl.sri.com>
  
• Change of address J Roger Hindley <J.R.Hindley@uk.ac.swansea>
  
• Isabelle course -- final call Lawrence C Paulson <Larry.Paulson@cl.cam.ac.uk>
  
• report annoucement Francois Lamarche <gfl@doc.imperial.ac.uk>
  
• paper annoucement metayer@logique.jussieu.fr
  
• Lectureships at Glasgow wadler@dcs.gla.ac.uk
  
• paper available dale@saul.cis.upenn.edu (Dale Miller)
  
• paper available (draft) Lawrence C Paulson <Larry.Paulson@cl.cam.ac.uk>
  
• Kripke Logical Relations and PCF ohearn@top.cis.syr.edu
  
• School on Typed Lambda Calculus ( final announcement ) HONSELL@IT.CINECA.UDUNIV
  
• Complete Programme of META94 - LOPSTR 94 - Compunet Area Meeting meta94@di.unipi.it (Paolo Mancarella)
  
• Reminder: LICS'94 Registration felty@research.att.com (Amy Felty)
  
• Thesis on type inference for object-oriented languages available hense@cs.uni-sb.de (Andreas Hense)
  
• Two ftp-able papers SCPSG@acadvm1.uottawa.ca
  
• CFP: ECOOP 94 W/S on Economic Impact of OO and Reuse Based "Dr." Giancarlo Succi <charmi@itnsun4.lii.unitn.it>
  
• Paper on propositional equality Ruy de Queiroz <ruy@di.ufpe.br>
  
• new collection gunter@saul.cis.upenn.edu
  
• On fixed points in (full classical) linear logic janin@labri.u-bordeaux.fr (David JANIN)
  
• CFP: State in Programming Languages (SIPL '95) ohearn@top.cis.syr.edu
  
• Job Advertisement rmt@leicester.ac.uk (Rick Thomas)
  
• ALP/PLILP'94 Preliminary Program and Reg. Forms (ASCII/LaTeX) plilp-alp-info@clip.dia.fi.upm.es (ALP/PLILP'94 Secretariat)
  
• ABSTRACT URSINI@sivax.cineca.it
  
• Announcement: I&C WWW homepage now available dmjones@theory.lcs.mit.edu (David M. Jones)
  
• paper available by ftp (new version) girard@lmd.univ-mrs.fr (Jean-Yves GIRARD)
  
• CFP: TAPSOFT'95 "Peter D. Mosses" <pdmosses@daimi.aau.dk>
  
• new version: 2nd-order Lambda Calculus Typability Undecidable jbw@cs.bu.edu (Joe Wells)
  
• Full affine logic is decidable sergei@artemov.mian.su (Sergei N. Artemov)
  
• in which models of untyped lambda calculus are terms with no whnf Thomas Streicher <streiche@informatik.uni-muenchen.de>
  
• Krivine's book in Engl? J Roger Hindley <J.R.Hindley@uk.ac.swansea>
  
• Re: in which models of untyped lambda calculus are terms with no whnf Giuseppe.Longo@ens.fr
  
• errata list for ``The Structure of Typed Programming Languages'' schmidt@cis.ksu.edu (Dave Schmidt)
  
• Axiomatic Domain Theory Marcelo Fiore <mf@uk.ac.ed.dcs>
  
• A tale of two translations wadler@dcs.gla.ac.uk
  
• NSL'94 Hajime Ishihara <ishihara@jaist.ac.jp>
  
• Krivine's book in Engl. J Roger Hindley <J.R.Hindley@uk.ac.swansea>
  
• Linear lambda calculi wadler@dcs.gla.ac.uk
  
• new model for second order lambda calculus and other type theories Dieter Spreen <spreen@server.informatik.uni-siegen.de>
  
• WoLLIC '94 - Final Programme Ruy de Queiroz <ruy@di.ufpe.br>
  
• Conference: Category Theory and Computer Science (CTCS) David Rydeheard <david@computer-science.manchester.ac.uk>
  
• technical reports (re) Alexandre Zamulin <zam@cs.usm.my>
  
• Fock Space blute@triples.math.mcgill.ca (Richard Blute)
  
• paper announcement bellin@logique.jussieu.fr
  
• Second call for papers, TLCA Philippa Gardner <pag@uk.ac.ed.dcs>
  
• paper announcement koba@is.s.u-tokyo.ac.jp
  
• Structural decidable extensions of Fsub Serge Vorobyov <Serge.Vorobyov@fr.loria>
  
• types types@dcs.gla.ac.uk
  
• Exponentials in linear logic Clemens Cap <cap@ifi.unizh.ch>
  
• Symposium/Book announcement Herman Geuvers <herman@cs.kun.nl>
  
• Hierarchies of decidable extensions of Fsub Serge Vorobyov <Serge.Vorobyov@loria.fr>
  
• Research Assistant Position fairouz@info.win.tue.nl (Fairouz Kamareddine)
  
• Re: A tale of two translations Sanjiva Prasad <Sanjiva.Prasad@ecrc.de>
  
• FP Applications List wadler@dcs.gla.ac.uk
  
• CFP: TAPSOFT'95 (short reminder) "Peter D. Mosses" <pdmosses@daimi.aau.dk>
  
• Thesis: Discrete Approximation of Spaces Philipp Suenderhauf <sunderhauf@mathematik.th-darmstadt.de>
  
• FCT'95 reichel@tcs.inf.tu-dresden.de (Horst Reichel)
  
• MFPS Call for Papers Michael Main <main@piper.cs.colorado.edu>
  
• SYMPOSIUM `The Influence of Automath' herman@info.win.tue.nl (Jan Herman Geuvers)
  
• Extensions of Fsub with Decidable Typing Serge Vorobyov <Serge.Vorobyov@loria.fr>
  
• A Typed Operational Semantics for Type Theory Healfdene Goguen <Healfdene.Goguen@sophia.inria.fr>
  
• Re: Exponentials in linear logic girard@lmd.univ-mrs.fr (Jean-Yves GIRARD)
  
• Practical Soft Typing wright@research.nj.nec.com (Andrew Wright)
  
• Final CFP: State in Programming Languages Final CFP: State in Programming Languages "Uday S. Reddy" <reddy@cs.uiuc.edu>
  
• SYMPOSIUM `The Influence of Automath' herman@info.win.tue.nl (Jan Herman Geuvers)
  
• FCT'95 reichel@tcs.inf.tu-dresden.de (Horst Reichel)
  
• Extensions of Fsub with Decidable Typing Serge Vorobyov <Serge.Vorobyov@loria.fr>
  
• MFPS Call for Papers Michael Main <main@piper.cs.colorado.edu>
  
• ILPS '94 : Program and Registration Information. Kannan Govindarajan <govin-k@cs.Buffalo.EDU>
  
• LICS'95 Call for Papers howe@research.att.com (Doug Howe)
  
• Type reconstruction in F_\omega urzy@cs.bu.edu (Pawel Urzyczyn)
  
• POPL95 Preliminary Program Peter Lee <Peter_Lee@FIRE.FOX.CS.CMU.EDU>
  
• Type reconstruction in F_\omega urzy@cs.bu.edu (Pawel Urzyczyn)
  
• Chair in Computer Science M.Z.Kwiatkowska@uk.ac.bham.dcs.gla.ac.uk
  
• BRICS positions Uffe Engberg <engberg@daimi.aau.dk>
  
• Request for Subscription to types list tcs@imsc.ernet.in (Computer Science Theorynet)
  
• Invitation to discuss the article "On Computational Complexity and the Nature of Computer Science", by Juris Hartmanis Peter Wegner <pw@cs.brown.edu>
  
• Please publicize this in the types list Peter Wegner <pw@cs.brown.edu>
  
• Programs for Proof-nets lphuang@cs.cuhk.hk
  
• Paper announcement hars@logique.jussieu.fr (Harold Schellinx)
  
• Lambda Definability in Categorical Models andre@saul.cis.upenn.edu (Andre Scedrov)
  
• LLL girard@lmd.univ-mrs.fr (Jean-Yves GIRARD)
  
• LLW is decidable artemov@fwi.uva.nl (Sergei Artemov )
  
• DIMACS Special Year on Logic and Complexity andre@saul.cis.upenn.edu (Andre Scedrov)
  
• linear logic and databases Serena.Cerrito@lri.fr
  
• ftpable papers on computing with linear variables/objects hbaker@netcom.com (Henry G. Baker)
  
• Decision Problems For Second Order Linear Logic Pat Lincoln <lincoln@csl.sri.com>
  
• A notation query J Roger Hindley <J.R.Hindley@swansea.ac.uk>
  
• ILPS94 e-mail registration Francesca Rossi <rossi@di.unipi.it>
  
• No Subject types-dist-request@dcs.gla.ac.uk
  
• Paper announcement on OO type systems Giuseppe.Castagna@ens.fr
  
• Home Page on Logical Frameworks Frank Pfenning <Frank_Pfenning@ALONZO.TIP.CS.CMU.EDU>
  
• workshop announcement Michael Huth <huth@mathematik.th-darmstadt.de>
  
• CONSISTENCY PRESERVING UPDATES Serena.Cerrito@lri.fr
  
• Notational query J Roger Hindley <J.R.Hindley@swansea.ac.uk>
  
• LICS'95 Second Call for Papers felty@research.att.com (Amy Felty)
  
• LOPSTR'95 preliminary call proietti@IASI.RM.CNR.IT (Maurizio Proietti)
  
• ftpable papers on computing with linear variables/objects hbaker@netcom.com (Henry G. Baker)
  
• Announce paper: Cockett & Seely rags@triples.math.mcgill.ca (Robert A. G. Seely)
  
• Announce paper: Mendler, Panangaden, Scott, & Seely rags@triples.math.mcgill.ca (Robert A. G. Seely)
  
• Integrating concurrent, functional, and imperative programming M.Debabi@frcl.bull.fr (Mourad.Debabi)
  
• TLCA '95: Programme Gordon Plotkin <gdp@dcs.edinburgh.ac.uk>
  
• TLCA '95: Programme Gordon Plotkin <gdp@dcs.edinburgh.ac.uk>
  
• 11th ADT Workshop and 8th General Compass Meeting (ASCII & Latex) Magne.Haveraaen@ii.uib.no
  
• Functional Programming and Input/Output Andrew Gordon <Andrew.Gordon@cl.cam.ac.uk>
  
• CS position in Uppsala hakanm@csd.uu.se (H}kan Millroth)
  
• Call for Papers PLILP'95 jeroen@cs.ruu.nl (PLILP'95 Conference)
  
• Two papers on reducibility Jean Gallier <jean@saul.cis.upenn.edu>
  
• workshop announcement ldpl95 <ldpl95@mathematik.th-darmstadt.de>
  
• SIPL Advance Program ohearn@top.cis.syr.edu
  
• paper availbale by ftp girard@lmd.univ-mrs.fr (Jean-Yves GIRARD)
  
• job announcement Zena Matilde Ariola <ariola@skinner.cs.uoregon.edu>
  
• paper available by ftp Jean Gallier <jean@saul.cis.upenn.edu>
  
• announcement: consistence of Map Theory berline@logique.jussieu.fr
  
• paper available: New Proof Method for SN for Typed Lambda Calculi jbw@cs.bu.edu (Joe Wells)
  
• Decision Problems For Second Order Linear Logic lafont@lmd.univ-mrs.fr (Yves LAFONT)
  
• formal semantics of real-world programming languages lists Peter Baumann <baumann@ifi.unizh.ch>
  
• Parametricity and variants of Girard's J operator John "C." Mitchell <jcm@edu.stanford.cs>