Mail Thread Index

Main Index

(0) No Subject,
(0) Re: Linear notation, aa%taurus.bitnet
(0) Re: Linear notation, pratt
(0) Dunn on relevant o and +, pratt
(0) Lindenbaum algebras and linear logic, Jean Gallier
(0) latex macros for drawing proof-nets?, T.K. Lakshman
(0) cut-elimination and combinatorics, Thierry Coquand
(0) Re: Linear notation, Mike Dunn
(0) Post-Doc at GMD Bonn, Axel Poigne
(0) Theoremhood in linear logic, Vaughan Pratt
(0) Refutation in Linear Logic, Vaughan Pratt
(0) Re: Kripke Models for Linear Logic, Gerry Allwein
(0) Re: Linear notation, Giambrone Steve
(0) Kripke Models for Linear Logic, Gerry Allwein
(0) Kripke paper, Gerry Allwein
(0) Re: Linear notation, aa%taurus.bitnet
(0) Linear consequences, aa%taurus.bitnet
(0) Lindenbaum algebras and linear logic, Jim Lipton
(0) lecture notes, Anne S. Troelstra
(0) Job at Wesleyan, ddougherty
(0) non-commutative linear logic, Thomas Streicher
(0) "Essentials of Programming Languages" --, Olivier Danvy
(0) algebraic semantics of NLL, Thomas Streicher
(0) non-commutative linear logic, Vaughan Pratt
(0) Relation algebras, Robert A. G. Seely
(0) Herbrand Methods in Linear Logic, Serena Cerrito
(0) Accepted LICS 92 papers, Andre Scedrov
(0) Paper on OOL design and semantics, Kim Bruce
(0) doing without F-bounded quantification, Martin Abadi
(0) Non-commutative linear logic, Mike Dunn
(0) A question about perspective, Jon Barwise (CS, Math, and Phil)
(0) A FIXPOINT THEOREM IN LINEAR LOGIC, Jean-Yves Girard
(0) Re: Non-commutative linear logic, Martin Abadi
(0) Herbrand methods in Linear Logic (revise, shankar
(0) FTP update, Patrick Lincoln
(0) Origin of type-labeled lambda abstractio, garrel
(0) Re: A FIXPOINT THEOREM IN LINEAR LOGIC, Vaughan Pratt
(0) underivability results of Avron in MLL, danos
(0) Stability in OO type system, hws
(0) Cut elimination for the Unified Logic, Jacqueline Vauzeille
(0) Thanks, Jon Barwise (CS, Math, and Phil)
(0) LPAR'92, Andrei Voronkov
(0) Category Theory at the Isle of Thorns, MMFC6
(0) paper on geometry of interaction, sa
(0) Girard's "Fixpoint Theorem", Schroeder-Heister
(0) Linear logic semantics (latex file}, Jon Barwise (CS, Math, and Phil)
(0) LINEAR LOGIC WORKSHOP, Andre Scedrov
(0) Apology, Jon Barwise (CS, Math, and Phil)
(0) Re: Linear logic semantics (Barwise) (35, pratt
(0) Re: Linear logic semantics (Barwise), Jon Barwise (CS, Math, and Phil)
(0) Italian Workshop Abstracts Available, Gianfranco Mascari
(0) workshop: "Is Mathematical Logic alive?, longo%FRULM63.BITNET
(0) Lectureships at Sussex U., Matthew Hennessy
(0) Italian Workshop in Siena: a disclaimer, Gianluigi Bellin
(0) Notations for abstraction and product fo, garrel
(0) Linearizing Intuitionistic Implication, Andre Scedrov
(0) Paper for ftp, Jon Barwise (CS, Math, and Phil)
(0) material for anonymous ftp, John_Reynolds
(0) proof nets for classical MLL and linear , glb
(0) [mkilian@das.harvard.edu: Kim Bruce to v, Albert R. Meyer
(0) Re: Proof Nets and Lambda Terms, Richard Blute
(0) TLCA'93 Call for Papers, Frans.Snijders
(0) ftp site at the University of Sydney, Bob Walters
(0) MALL1 is NEXPTIME-hard, Patrick Lincoln
(0) Constant-only fragment of MLL is NP-comp, Patrick Lincoln
(0) CADE-11, Neil Murray
(0) Logic programming in a fragment of linea, Dale Miller
(0) Co-induction for recursive domains, Andrew.Pitts
(0) Advance Program, ACM SIGPLAN Workshop on, Olivier Danvy
(0) braids in linear logic, Richard Blute
(0) Conf. on Typed Lambda Calculi and Applic, Marc.Bezem
(0) Workshop on Lopgic and Change, Sep/1-2/9, Remo Pareschi
(0) Call for Papers: POPL'93, Frank Pfenning
(0) Bibliography, John.K.Slaney
(0) Interpretations of Classical Logic in Li, Stefano Berardi
(0) re:braids in linear logic, Richard Blute
(0) Strong Completeness Theorem for MLL, Samson Abramsky
(0) intensional type theory , modified reali, Thomas Streicher
(0) Interpreting 1st order logic in linear l, Stefano Berardi
(0) Coq Release Info, Gerard Huet
(0) Games and sequentiality, curien
(0) proofnets/graph theory (retore), deptang
(0) INFORMAL WORKSHOP June 15, URSINI%SIVAX.CINECA.IT
(0) translations of classical into LL, Andrea Masini
(0) Linear logic question, Philip Wadler
(0) Advanced School on LOGIC and ARTIFICIAL , pedre
(0) translating classical to linear logic (3, Stefano Berardi
(0) linear decorations, Harold A.J.M. Schellinx
(0) relating linear logic and the pi-calculu, Dale Miller
(0) Linear logic + weakening, James Harland
(0) Workshop for Logic & Comp. Sci: Talk on , Michael Wymann-Boeni
(0) confluence, conservativity and interpola, John C. Mitchell
(0) [joanne@theory.lcs.mit.edu: MIT TOC Semi, Albert R. Meyer
(0) Complexity of LL fragments, Sergei N. Artemov
(0) parametricity and local variables, Robert Tennent
(0) Term Assignment Paper, Gavin Bierman
(0) F-omega type reconstruction; recursive v, Pawel Urzyczyn
(0) TeX-ed version of Prof. Plotkin's course, Hidetaka Kondoh
(0) paper available by anonymous ftp, Jean Gallier
(0) Plotkin course notes available from MIT , Hidetaka Kondoh
(0) Re: TeX-ed version of Prof. Plotkin's co, kikuchi
(0) "Domains" available in PostScript format, David Wald
(0) Re: TeX-ed version of Prof. Plotkin's co, kikuchi
(0) another ftp site for Plotkin's course no, Ralf Treinen
(0) ftp papers on Constructive Logics, Jean Gallier
(0) new book on unification, Jean Gallier
(0) Additional reference, Jean Gallier
(0) Coherence and polymorphic instantiation, Benjamin Pierce
(0) Embedding free CCC into SET, Djordje Cubric
(0) Coherence and polymorphic instantiation, Andre Scedrov
(0) Regular subobjects in CCCPO, Alan Jeffrey
(0) Re: Coherence and polymorphic instantiat, Martin Abadi
(0) Regular subobjects in CCCPO, Eugene Stark
(0) Stark's reply re regular subobjects in C, Guoqiang Zhang
(0) OOP Tutorial, John C. Mitchell
(0) unification in CCC, Amadio Roberto
(0) Term Assignment for ILL, Gavin Bierman
(0) Informal Baastad proceedings by FTP, Kent Petersson
(0) CORRECTION: Bastad proceedings, Kent Petersson
(0) ISABELLE-92, Lawrence Paulson
(0) Type Inference using Sequent Calculus fo, Sanjiva Prasad
(0) Two papers on object-oriented programmin, Benjamin Pierce
(0) New book on Constructivism in Mathematic, K.R.Apt
(0) Online LICS bibliography, David M. Jones
(0) Paper available by ftp, Andre Scedrov
(0) paper available by FTP, Patrick Lincoln
(0) Category Theory and Computer Science, Se, David Rydeheard
(0) paper available by ftp, Samson Abramsky
(0) Map theory, Klaus Grue
(0) Re: Map theory, pratt
(0) Map theory--addendum, Klaus Grue
(0) Re: 2 questions re: mapping from IL to I, pratt
(0) quantum logics, Thomas Forster
(0) MFPS IX, AUSTIN C. MELTON
(0) Re: quantum logics, pratt
(0) sequent calculi for quantum logics, jack
(0) About the questions by S. Courtenage, girard
(0) Re: About the questions by S. Courtenage, Samson Abramsky
(0) Re: quantum logics, Mike Dunn
(0) LICS 93 call for papers, daniel leivant
(0) 4th Int.Conf. on Logic Programming and A, Andrei Voronkov
(0) Book by Carl Gunter, Carl Gunter
(0) LogIn Programme, Andre Fuhrmann
(0) New CONCURRENCY, LOGIC, and TYPES Modera, meyer
(0) revised deadline LASC special issue on c, Carolyn Talcott
(0) revised deadline LASC special issue on c, Carolyn Talcott
(0) revised deadline LASC special issue on c, Carolyn Talcott
(0) CALL FOR PAPERS: SIGPLAN'93 PLDI, Benjamin Goldberg
(0) FST&TCS 12 Programme & Registration Info, s arun kumar
(0) Positions at Chalmers, Gothenburg, Swede, Bengt Nordstr|m
(0) Positions at Chalmers, Gothenburg, Swede, Bengt Nordstr|m
(0) No Subject, types-dist-request
(0) No Subject, types-dist-request
(0) No Subject, types-dist-request
(0) No Subject, types-dist-request
(0) No Subject, types-dist-request
(0) No Subject, types-dist-request
(0) No Subject, types-dist-request
(0) FPCA '93 Call for Papers, Lori Lynn Avirett-Mackenzie
(0) CRIM Intensive Course, Jean-Yves Girard
(0) Anon FTP file for conference scheduling, John "C." Mitchell
(0) About parametricity, Giuseppe Longo
(0) Call For Workshop Proposals - ICLP'93, ICLP Publicity
(0) Question about !, Carolyn Brown
(0) CIRM Intensive Course, Jean-Yves Girard
(0) Question about notation, jr hindley
(0) Re: Question about !, Masaru Shirahata
(0) CfP: AMAST'93 (update, plain text), Giuseppe Scollo
(0) Question about notation, Mitchell Wand
(0) Re: Question about notation, Andrew Pitts
(0) Re: Question about notation, Andrew Pitts
(0) Question about notation, alti
(0) Re: Question about notation, pratt
(0) linear logic guide, Andre Scedrov
(0) Question about notation, Carl Gunter
(0) Re: Question about notation, Libor Skarvada
(0) Notation query, jr hindley
(0) judgement notation, Carl Gunter
(0) Announcing "Lolli", An Interpreter for L, Josh Hodas
(0) Neighborhood Semantics for the Exponenti, Gerry Allwein
(0) Announcement: New Series in Computing, Giuseppe Scollo
(0) Re: judgement notation, John "C." Mitchell
(0) Re: judgement notation, poigne
(0) Sconing and Relators, Andre Scedrov
(0) re: judgement notation, Dean Rosenzweig
(0) European Association for Computer Scienc, K Meinke
(0) Paper by Bellin & Scott, SCPSG
(0) ANNALS OF PURE AND APPLIED LOGIC: Call f, Albert R. Meyer
(0) New Version of TeX-ed Prof. Plotkin's "D, Hidetaka Kondoh
(0) Generating plans im linear logic, Jacqueline Vauzeille
(0) local and asynchronous beta-reduction, danos
(0) Answer to Carolyn, Jean-Yves Girard
(0) New Foundations for the Geometry of Inte, Samson Abramsky
(0) Introduction to Bellin-Scott paper, Samson Abramsky
(0) Program of TLCA'93, Jan Friso Groote
(0) Typing and Subtyping for the Mobile Proc, pierce
(0) OOL design and semantics papers, Kim Bruce
(0) two preliminary papers by anon ftp, John "C." Mitchell
(0) clarification of recently-posted abstrac, John "C." Mitchell