TYPES list archives

• No Subject
  
• Re: Linear notation aa%taurus.bitnet@taunivm.tau.ac.il
  
• Re: Linear notation pratt@cs.Stanford.EDU
  
• Dunn on relevant o and + pratt@cs.Stanford.EDU
  
• Lindenbaum algebras and linear logic jean@saul.cis.upenn.edu (Jean Gallier)
  
• latex macros for drawing proof-nets? "T.K. Lakshman" <lakshman@cs.uiuc.edu>
  
• cut-elimination and combinatorics Thierry Coquand <coquand@cs.chalmers.se>
  
• Re: Linear notation Mike Dunn <dunn@iuvax.cs.indiana.edu>
  
• Post-Doc at GMD Bonn Axel Poigne <ap@gmdzi.gmd.de>
  
• Theoremhood in linear logic Vaughan Pratt <pratt@cs.Stanford.EDU>
  
• Refutation in Linear Logic Vaughan Pratt <pratt@cs.Stanford.EDU>
  
• Re: Kripke Models for Linear Logic Gerry Allwein <gtall@ogre.cica.indiana.edu>
  
• Re: Linear notation sxg8037@usl.edu (Giambrone Steve)
  
• Kripke Models for Linear Logic Gerry Allwein <gtall@ogre.cica.indiana.edu>
  
• Kripke paper Gerry Allwein <gtall@ogre.cica.indiana.edu>
  
• Re: Linear notation aa%taurus.bitnet@taunivm.tau.ac.il
  
• Linear consequences aa%taurus.bitnet@taunivm.tau.ac.il
  
• Lindenbaum algebras and linear logic lipton@saul.cis.upenn.edu (Jim Lipton)
  
• lecture notes anne@fwi.uva.nl (Anne S. Troelstra )
  
• Job at Wesleyan ddougherty@eagle.wesleyan.edu
  
• non-commutative linear logic Thomas Streicher <streiche@fmi.uni-passau.de>
  
• "Essentials of Programming Languages" -- free instructor's copies danvy@cis.ksu.edu (Olivier Danvy)
  
• algebraic semantics of NLL Thomas Streicher <streiche@fmi.uni-passau.de>
  
• non-commutative linear logic Vaughan Pratt <pratt@cs.Stanford.EDU>
  
• Relation algebras rags@triples.math.mcgill.ca (Robert A. G. Seely)
  
• Herbrand Methods in Linear Logic Serena Cerrito <serena@lri.fr>
  
• Accepted LICS 92 papers andre@saul.cis.upenn.edu (Andre Scedrov)
  
• Paper on OOL design and semantics kim@cs.williams.edu (Kim Bruce)
  
• doing without F-bounded quantification ma@src.dec.com (Martin Abadi)
  
• Non-commutative linear logic Mike Dunn <dunn@iuvax.cs.indiana.edu>
  
• A question about perspective Jon Barwise (CS, Math, and Phil) <barwise@phil.indiana.edu>
  
• A FIXPOINT THEOREM IN LINEAR LOGIC Jean-Yves Girard <Jean-Yves.Girard@inria.fr>
  
• Re: Non-commutative linear logic ma@src.dec.com (Martin Abadi)
  
• Herbrand methods in Linear Logic (revised) shankar@krypton.csl.sri.com
  
• FTP update Patrick Lincoln <lincoln@cs.Stanford.EDU>
  
• Origin of type-labeled lambda abstraction garrel@electra.oracorp.com
  
• Re: A FIXPOINT THEOREM IN LINEAR LOGIC Vaughan Pratt <pratt@cs.Stanford.EDU>
  
• underivability results of Avron in MLL danos@logique.jussieu.fr
  
• Stability in OO type system hws@csis.dit.csiro.au
  
• Cut elimination for the Unified Logic jv@lipn.univ-paris13.fr (Jacqueline Vauzeille)
  
• Thanks Jon Barwise (CS, Math, and Phil) <barwise@phil.indiana.edu>
  
• LPAR'92 Andrei Voronkov <voronkov@ecrc.de>
  
• Category Theory at the Isle of Thorns MMFC6@cluster.sussex.ac.uk
  
• paper on geometry of interaction sa@doc.imperial.ac.uk
  
• Girard's "Fixpoint Theorem" nnssh01@mailserv.zdv.uni-tuebingen.de (Schroeder-Heister)
  
• Linear logic semantics (latex file} Jon Barwise (CS, Math, and Phil) <barwise@phil.indiana.edu>
  
• LINEAR LOGIC WORKSHOP andre@saul.cis.upenn.edu (Andre Scedrov)
  
• Apology Jon Barwise (CS, Math, and Phil) <barwise@phil.indiana.edu>
  
• Re: Linear logic semantics (Barwise) (353 lines) pratt@cs.stanford.edu
  
• Re: Linear logic semantics (Barwise) Jon Barwise (CS, Math, and Phil) <barwise@phil.indiana.edu>
  
• Italian Workshop Abstracts Available mascari@cnriac.iac.rm.cnr.it (Gianfranco Mascari)
  
• workshop: "Is Mathematical Logic alive? longo%FRULM63.BITNET@mitvma.mit.edu
  
• Lectureships at Sussex U. Matthew Hennessy <matthewh@cogs.sussex.ac.uk>
  
• Italian Workshop in Siena: a disclaimer glb@dcs.edinburgh.ac.uk (Gianluigi Bellin)
  
• Notations for abstraction and product formation garrel@oracorp.com
  
• Linearizing Intuitionistic Implication andre@saul.cis.upenn.edu (Andre Scedrov)
  
• Paper for ftp Jon Barwise (CS, Math, and Phil) <barwise@phil.indiana.edu>
  
• material for anonymous ftp John_Reynolds@PROOF.ERGO.CS.CMU.EDU
  
• proof nets for classical MLL and linear lambda terms (401 lines) glb@dcs.edinburgh.ac.uk
  
• [mkilian@das.harvard.edu: Kim Bruce to visit on April 16th.] meyer@theory.lcs.mit.edu (Albert R. Meyer)
  
• Re: Proof Nets and Lambda Terms blute@triples.Math.McGill.CA (Richard Blute)
  
• TLCA'93 Call for Papers Frans.Snijders@cwi.nl
  
• ftp site at the University of Sydney walters_b@maths.su.oz.au (Bob Walters)
  
• MALL1 is NEXPTIME-hard Patrick Lincoln <lincoln@Theory.Stanford.EDU>
  
• Constant-only fragment of MLL is NP-complete Patrick Lincoln <lincoln@Theory.Stanford.EDU>
  
• CADE-11 nvm@cs.albany.edu (Neil Murray)
  
• Logic programming in a fragment of linear logic dale@saul.cis.upenn.edu (Dale Miller)
  
• Co-induction for recursive domains Andrew.Pitts@cl.cam.ac.uk
  
• Advance Program, ACM SIGPLAN Workshop on Continuations (CW92) danvy@cis.ksu.edu (Olivier Danvy)
  
• braids in linear logic blute@triples.Math.McGill.CA (Richard Blute)
  
• Conf. on Typed Lambda Calculi and Applications, Mar/16-18/93 Marc.Bezem@phil.ruu.nl
  
• Workshop on Lopgic and Change, Sep/1-2/92, Bonn Remo Pareschi <Remo.Pareschi@ecrc.de>
  
• Call for Papers: POPL'93 Frank Pfenning <Frank_Pfenning@ALONZO.TIP.CS.CMU.EDU>
  
• Bibliography John.K.Slaney@arp.anu.edu.au
  
• Interpretations of Classical Logic in Linear Logic stefano@di.unito.it ( Stefano Berardi )
  
• re:braids in linear logic blute@triples.Math.McGill.CA (Richard Blute)
  
• Strong Completeness Theorem for MLL Samson Abramsky <sa@doc.imperial.ac.uk>
  
• intensional type theory , modified realizability Thomas Streicher <streiche@informatik.uni-muenchen.de>
  
• Interpreting 1st order logic in linear logic stefano@di.unito.it ( Stefano Berardi )
  
• Coq Release Info Gerard Huet <Gerard.Huet@inria.fr>
  
• Games and sequentiality curien@src.dec.com
  
• proofnets/graph theory (retore) deptang@cicb.fr
  
• INFORMAL WORKSHOP June 15 URSINI%SIVAX.CINECA.IT@ICINECA.CINECA.IT
  
• translations of classical into LL Andrea Masini <masini@di.unipi.it>
  
• Linear logic question Philip Wadler <wadler@dcs.glasgow.ac.uk>
  
• Advanced School on LOGIC and ARTIFICIAL INTELLIGENCE pedre@di.unipi.it
  
• translating classical to linear logic (338 lines) stefano@di.unito.it ( Stefano Berardi )
  
• linear decorations harold@fwi.uva.nl (Harold A.J.M. Schellinx)
  
• relating linear logic and the pi-calculus dale@saul.cis.upenn.edu (Dale Miller)
  
• Linear logic + weakening James Harland <jah@cs.mu.oz.au>
  
• Workshop for Logic & Comp. Sci: Talk on Thursday, 7/2/92 wymann@cs.bu.edu (Michael Wymann-Boeni)
  
• confluence, conservativity and interpolation for typed lambda calculi John C. Mitchell <jcm@cs.stanford.edu>
  
• [joanne@theory.lcs.mit.edu: MIT TOC Seminar--Radha Jagadeesan-Thursday 10:00a.m. July 9, 1992] meyer@theory.lcs.mit.edu (Albert R. Meyer)
  
• Complexity of LL fragments sergei@artemov.mian.su (Sergei N. Artemov)
  
• parametricity and local variables Robert Tennent <rdt@dcs.ed.ac.uk>
  
• Term Assignment Paper Gavin Bierman <Gavin.Bierman@cl.cam.ac.uk>
  
• F-omega type reconstruction; recursive vs. quantified types urzy@cs.bu.edu (Pawel Urzyczyn)
  
• TeX-ed version of Prof. Plotkin's course note "Domains" now available kondoh@harlgw92.harl.hitachi.co.jp (Hidetaka Kondoh)
  
• paper available by anonymous ftp Jean Gallier <jean@saul.cis.upenn.edu>
  
• Plotkin course notes available from MIT and some found problems. kondoh@harlgw92.harl.hitachi.co.jp (Hidetaka Kondoh)
  
• Re: TeX-ed version of Prof. Plotkin's course note Domains now available kikuchi@cs.titech.ac.jp
  
• "Domains" available in PostScript format wald@theory.lcs.mit.edu (David Wald)
  
• Re: TeX-ed version of Prof. Plotkin's course note Domains now available kikuchi@cs.titech.ac.jp
  
• another ftp site for Plotkin's course notes on domains "Ralf Treinen" <treinen@dfki.uni-sb.de>
  
• ftp papers on Constructive Logics Jean Gallier <jean@saul.cis.upenn.edu>
  
• new book on unification Jean Gallier <jean@saul.cis.upenn.edu>
  
• Additional reference Jean Gallier <jean@saul.cis.upenn.edu>
  
• Coherence and polymorphic instantiation Benjamin Pierce <bcp@dcs.ed.ac.uk>
  
• Embedding free CCC into SET cubric@triples.Math.McGill.CA (Djordje Cubric)
  
• Coherence and polymorphic instantiation andre@saul.cis.upenn.edu (Andre Scedrov)
  
• Regular subobjects in CCCPO Alan Jeffrey <alanje@cogs.sussex.ac.uk>
  
• Re: Coherence and polymorphic instantiation ma@src.dec.com (Martin Abadi)
  
• Regular subobjects in CCCPO stark@sbcs.sunysb.edu (Eugene Stark)
  
• Stark's reply re regular subobjects in CCCPO Guoqiang Zhang <gqz@engin.umich.edu>
  
• OOP Tutorial John C. Mitchell <jcm@cs.stanford.edu>
  
• unification in CCC Amadio Roberto <Roberto.Amadio@loria.fr>
  
• Term Assignment for ILL Gavin Bierman <Gavin.Bierman@cl.cam.ac.uk>
  
• Informal Baastad proceedings by FTP Kent Petersson <kentp@cs.chalmers.se>
  
• CORRECTION: Bastad proceedings Kent Petersson <kentp@cs.chalmers.se>
  
• ISABELLE-92 Lawrence Paulson <Larry.Paulson@cl.cam.ac.uk>
  
• Type Inference using Sequent Calculus formulation of IPL Sanjiva Prasad <sanjiva@ecrc.de>
  
• Two papers on object-oriented programming Benjamin Pierce <bcp@dcs.ed.ac.uk>
  
• New book on Constructivism in Mathematics K.R.Apt@cwi.nl
  
• Online LICS bibliography dmjones@theory.lcs.mit.edu (David M. Jones)
  
• Paper available by ftp andre@saul.cis.upenn.edu (Andre Scedrov)
  
• paper available by FTP Patrick Lincoln <lincoln@Theory.Stanford.EDU>
  
• Category Theory and Computer Science, Sep. 7-10, '93, Amsterdam David Rydeheard <david@computer-science.manchester.ac.uk>
  
• paper available by ftp Samson Abramsky <sa@doc.ic.ac.uk>
  
• Map theory Klaus Grue <grue@diku.dk>
  
• Re: Map theory pratt@cs.stanford.edu
  
• Map theory--addendum Klaus Grue <grue@diku.dk>
  
• Re: 2 questions re: mapping from IL to ILL pratt@cs.Stanford.EDU
  
• quantum logics Thomas Forster <T.Forster@pmms.cam.ac.uk>
  
• MFPS IX austin@cs.mtu.edu (AUSTIN C. MELTON)
  
• Re: quantum logics pratt@cs.Stanford.EDU
  
• sequent calculi for quantum logics jack <jack@dcs.gla.ac.uk>
  
• About the questions by S. Courtenage girard@logique.jussieu.fr
  
• Re: About the questions by S. Courtenage Samson Abramsky <sa@doc.ic.ac.uk>
  
• Re: quantum logics "Mike Dunn" <dunn@moose.cs.indiana.edu>
  
• LICS 93 call for papers "daniel leivant" <leivant@moose.cs.indiana.edu>
  
• 4th Int.Conf. on Logic Programming and Automated Reasoning Andrei Voronkov <voronkov@ecrc.de>
  
• Book by Carl Gunter carl@research.att.com (Carl Gunter)
  
• LogIn Programme Andre Fuhrmann <PIFUHRMA@NYX.UNI-KONSTANZ.DE>
  
• New CONCURRENCY, LOGIC, and TYPES Moderators meyer@theory.lcs.mit.edu
  
• revised deadline LASC special issue on continuations Carolyn Talcott <clt@sail.stanford.edu>
  
• revised deadline LASC special issue on continuations Carolyn Talcott <clt@sail.stanford.edu>
  
• revised deadline LASC special issue on continuations Carolyn Talcott <clt@sail.stanford.edu>
  
• CALL FOR PAPERS: SIGPLAN'93 PLDI goldberg@GOLDBERG.CS.NYU.EDU (Benjamin Goldberg)
  
• FST&TCS 12 Programme & Registration Info ... sak@cse.iitd.ernet.in (s arun kumar)
  
• Positions at Chalmers, Gothenburg, Sweden Bengt Nordstr|m <bengt@cs.chalmers.se>
  
• Positions at Chalmers, Gothenburg, Sweden Bengt Nordstr|m <bengt@cs.chalmers.se>
  
• No Subject types-dist-request@dcs.gla.ac.uk
  
• No Subject types-dist-request@dcs.gla.ac.uk
  
• No Subject types-dist-request@dcs.gla.ac.uk
  
• No Subject types-dist-request@dcs.gla.ac.uk
  
• No Subject types-dist-request@dcs.gla.ac.uk
  
• No Subject types-dist-request@dcs.gla.ac.uk
  
• No Subject types-dist-request@dcs.gla.ac.uk
  
• FPCA '93 Call for Papers lori@au-bon-pain.lcs.mit.edu (Lori Lynn Avirett-Mackenzie)
  
• CRIM Intensive Course girard@logique.jussieu.fr (Jean-Yves Girard)
  
• Anon FTP file for conference scheduling John "C." Mitchell <jcm@cs.stanford.edu>
  
• About parametricity Giuseppe Longo <longo@DMI.ENS.FR>
  
• Call For Workshop Proposals - ICLP'93 ICLP Publicity <iclp-publicity@quintus.com>
  
• Question about ! Carolyn Brown <cbrown@cs.chalmers.se>
  
• CIRM Intensive Course girard@logique.jussieu.fr (Jean-Yves Girard)
  
• Question about notation jr hindley <majrh@uk.ac.swan.pyr>
  
• Re: Question about ! masaru@Csli.Stanford.EDU (Masaru Shirahata)
  
• CfP: AMAST'93 (update, plain text) Giuseppe Scollo <scollo@di.unipi.it>
  
• Question about notation wand@edu.northeastern.ccs.dec5120z (Mitchell Wand)
  
• Re: Question about notation Andrew Pitts <Andrew.Pitts@uk.ac.cam.cl>
  
• Re: Question about notation Andrew Pitts <Andrew.Pitts@uk.ac.cam.cl>
  
• Question about notation alti@uk.ac.ed.dcs
  
• Re: Question about notation pratt@cs.stanford.edu
  
• linear logic guide andre@saul.cis.upenn.edu (Andre Scedrov)
  
• Question about notation carl@research.att.com (Carl Gunter)
  
• Re: Question about notation Libor Skarvada <libor@CS.MUNI.DCS.ADELARD>
  
• Notation query jr hindley <majrh@uk.ac.swan.pyr>
  
• judgement notation carl@research.att.com (Carl Gunter)
  
• Announcing "Lolli", An Interpreter for Linear-Logic Programming hodas@saul.cis.upenn.edu (Josh Hodas)
  
• Neighborhood Semantics for the Exponentials Gerry Allwein <gtall@ogre.cica.indiana.edu>
  
• Announcement: New Series in Computing Giuseppe Scollo <scollo@di.unipi.it>
  
• Re: judgement notation John "C." Mitchell <jcm@cs.stanford.edu>
  
• Re: judgement notation poigne@gmd.de
  
• Sconing and Relators andre@edu.upenn.cis.saul (Andre Scedrov)
  
• re: judgement notation Dean Rosenzweig <dean.rosenzweig@yu.mail.ac.uni-zg>
  
• European Association for Computer Science Logic K Meinke <cskarl@uk.ac.swan.pyr>
  
• Paper by Bellin & Scott SCPSG@acadvm1.uottawa.ca
  
• ANNALS OF PURE AND APPLIED LOGIC: Call for CS Submissions meyer@theory.lcs.mit.edu (Albert R. Meyer)
  
• New Version of TeX-ed Prof. Plotkin's "Domains" (Corrected) kondoh@harlgw92.harl.hitachi.co.jp (Hidetaka Kondoh)
  
• Generating plans im linear logic jv@fr.univ-paris13.lipn (Jacqueline Vauzeille)
  
• local and asynchronous beta-reduction danos@logique.jussieu.fr
  
• Answer to Carolyn Jean-Yves Girard <Jean-Yves.Girard@inria.fr>
  
• New Foundations for the Geometry of Interaction (full version) Samson Abramsky <sa@doc.imperial.ac.uk>
  
• Introduction to Bellin-Scott paper Samson Abramsky <sa@doc.imperial.ac.uk>
  
• Program of TLCA'93 Jan Friso Groote <JanFriso.Groote@phil.ruu.nl>
  
• Typing and Subtyping for the Mobile Processes pierce@margaux.inria.fr
  
• OOL design and semantics papers kim@cs.williams.edu (Kim Bruce)
  
• two preliminary papers by anon ftp John "C." Mitchell <jcm@cs.stanford.edu>
  
• clarification of recently-posted abstract John "C." Mitchell <jcm@cs.stanford.edu>