Mail Thread Index

Main Index

(0) Concurrency and linear logic paper, Vaughan Pratt
(0) Corrections to "Concurrent Automata and , Vaughan Pratt
(0) automata or schedules !?, Vaughan Pratt
(0) automata run schedules, Vaughan Pratt
(0) 5th Jumelage on Typed Lambda Calculus, Giuseppe Longo
(0) Optimal Derivation in Term Rewriting Sys, Barbara Radle
(0) MFPS91 conference, Stephen.Brookes
(0) MFPS91 program, Stephen.Brookes
(0) MFPS91 local arrangements, Stephen.Brookes
(0) Long beta/eta normal forms, Colin B Jay
(0) equational versions of fixed-point induc, John C. Mitchell
(0) MFPS'91 Schedule, Stephen.Brookes
(0) 2nd Russian Conference on Logic Programm, voronkov
(0) CADE-11, Neil Murray
(0) Lambda calculus and surjective pairing, Pierre-Louis Curien
(0) Research position at Edinburgh, gdp
(0) LICS'91 Program, LICS.DATABASE
(0) [mwpl@concour.cs.concordia.ca: Announcem, mwpl
(0) LICS'91 Registration, LICS
(0) monotonic subtype relations?, Clem Baker-Finch
(0) Re: monotonic subtype relations?, John.Reynolds
(0) Re: monotonic subtype relations?, kim
(0) Categorial View of Loop Invariants, C Barry Jay
(0) CADE 92, Call for Papers, Sally Goodall
(0) Trakhtenbrot Symposium Program, June 10-, Albert R. Meyer
(0) Constructivity Symposium, Paul Myers
(0) FPCA '91 Advance Progra, muller
(0) Category conference, Paris, 9/3-6/91, Pierre-Louis Curien
(0) LFCS'92: Logic at Tver, 7/20-24/92, anil
(0) Paper on Programming Language Expressive, John C. Mitchell
(0) CAAP-ESOP9, Zhenyu Qian
(0) OOL paper available by ftp, Kim Bruce
(0) ILPS-91 Workshop, 10/31/91, Arcot Rajasekar
(0) Curry typing P-complete, John C. Mitchell
(0) ML with callcc is unsound, Robert.Harper
(0) LICS'92 Preliminary Call, Albert R. Meyer
(0) paper on Typed Relations extended with S, Gary Leavens
(0) Abstracts from Trakhtenbrot's 70th Birth, David M. Jones
(0) Bounded Quantification is Undecidable, Benjamin_Pierce
(0) semantics book by Tennent, Robert Tennent
(0) Monograph: Type Theory and Functional Pr, sjt
(0) CTCS 91, Last announcement, Pierre-Louis Curien
(0) Book: Simon Thompson, "Type Theory and F, sjt
(0) Archives of Types, Logic and Concurrency, meyer
(0) semantics talks at Kansas State, aug-sep, Olivier Danvy
(0) Online bibliography for Information and , David M. Jones
(0) Online bibliography for TACS'91, David M. Jones
(0) objecttypes mailing list, jpalsberg
(0) representation of L-domains, Guoqiang Zhang
(0) talks at Kansas State (final program), Olivier Danvy
(0) ISABELLE-91, Lawrence Paulson
(0) cfp -- ACM SIGPLAN Workshop on Continuat, Olivier Danvy
(0) June 92 ACM SIGPLAN Workshop on Partial , Charles Consel
(0) SML Workshop, John C. Mitchell
(0) Typability in F_omega, Pawel Urzyczyn
(0) availability of semantics book, Robert Tennent
(0) 2nd Montreal workshop on prog langs, okada
(0) the price of embedding-projection pairs, John C. Mitchell
(0) Monograph: "...Category Theory for the W, Giuseppe Longo
(0) Function construction principle in calcu, JONATHAN SELDIN
(0) computer proves a "types" theorem, mairson
(0) Coq Version 5.6 is available!, Gerard Huet
(0) Robin Milner - 1991 Turing Award Winner, Albert R. Meyer
(0) CFP: ACM Workshop on Partial Evaluation , Charles Consel
(0) Interpreter Based on Denotational Semant, Andreas Hense
(0) Why Prolog and CBV?, John C. Mitchell
(0) Re: Why Prolog and CBV?, Frank Pfenning
(0) Re: Why Prolog and CBV?, Frank Pfenning
(0) Re: Why Prolog and CBV?, Hans_Boehm.PARC
(0) lambda calculus humor, Kevin Denelsbeck
(0) LINEAR logic forum; proofnets and kingdo, Albert R. Meyer
(0) Complexity of LL Decision Problems, Patrick Lincoln
(0) Some Proof Net References, Patrick Lincoln
(0) Kingdoms, empires, etc, Gianluigi Bellin
(0) Re: Why Prolog and CBV?, Philip Wadler
(0) selected exercises [on linear logic--ed., Andre Scedrov
(0) Re: Why Prolog and CBV?, Uday S. Reddy
(0) Re: Why Prolog and CBV?, 20012000
(0) Re: Why Prolog and CBV?, Robert_Harper
(0) CBV lanugage compiled to be as fast as C, Timothy_Freeman
(0) Re: Why Prolog and CBV?, John C. Mitchell
(0) Relations and non-commutative linear log, dgurr
(0) Retraction of Claim: Completeness for La, Jon Riecke
(0) affine logic, Gianluigi Bellin
(0) "Standard ML, Scheme, or C", 20012000
(0) Why Prolog and CBV?, mitchell wand
(0) On quantales again, H F Chau
(0) Re: Why Prolog and CBV?, John C. Mitchell
(0) Re: Why Prolog and CBV?, Philip Wadler
(0) Re: "Standard ML, Scheme, or C", John Reppy
(0) Why Prolog and CBV?, Matthias Felleisen
(0) Re: Why Prolog and CBV?, Robert_Harper
(0) Re: Why Prolog and CBV?, John C. Mitchell
(0) Re: Why Prolog and CBV?, Matthias Felleisen
(0) Re: Some Proof Net References, Vijay Gehlot
(0) semantic description of call-by-need, Carl Gunter
(0) Call-by-need rules, S Purushothaman
(0) bad behavior of Call-by-value(-result), Frank J. Oles
(0) more about kingdoms; with reply by de Gr, Vincent Danos
(0) Proof Nets and Roorda's Thesis, H F Chau
(0) Re: Why Prolog and CBV?, Uday S. Reddy
(0) Generalized Horn fragments of LL, maxk
(0) Sequentialized Empires and Kingdoms, Gianluigi Bellin
(0) chains vs. directed sets, John C. Mitchell
(0) several replies re: chains vs. directed , Albert R. Meyer
(0) book announcement "LOGIC OF DOMAINS", gqz
(0) Re: Generalized Horn fragments of LL, maxk
(0) Re: chains vs. directed sets, Val Breazu-Tannen
(0) Re: chains vs. directed sets, Paul Taylor
(0) re: more about kingdoms, Gianluigi Bellin
(0) Chains and directed sets, Guoqiang Zhang
(0) chains, etc & announcement on intuitioni, Paul Taylor
(0) Two sided proof nets with units, Robert A. G. Seely
(0) Roorda's address, H F Chau
(0) POLARITIES, BEHAVIOURS and RELATED TOPIC, Jean-Yves Girard
(0) (Im)Permutabilities of LL, Patrick Lincoln
(0) Comment to Zhang re Chains and directed , Val Breazu-Tannen
(0) Re: chains, etc & announcement on intui, Jim Lipton
(0) Other references on linear logic and pro, Jean Gallier
(0) ordinals and Tarski's theorem, Paul Taylor
(0) Some Properties of Linear Logic Proved b, Arnon Avron
(0) POPL '92: Advance Program, ravi
(0) Imperial College archive & TeX fonts, Paul Taylor
(0) on polarities and linear logic, Jean-Yves Girard
(0) games and classical logic, Thierry Coquand
(0) proof nets for classical logic, glb
(0) Unwinding Theorem, Carl Gunter
(0) kingdom of several formulas, regnier
(0) A. Black on Object-oriented types at Har, Baiba Menke
(0) Programming with Intersection Types and , Benjamin_Pierce
(0) notation, Anne S. Troelstra
(0) Linear logic semantics, Robert A. G. Seely
(0) Re: Linear logic semantics, aa%taurus.BITNET
(0) Semantical considerations on linear logi, Vaughan Pratt
(0) Re: Linear logic semantics, aa%taurus.BITNET
(0) Linear Notation, and good will to all, Robert A. G. Seely
(0) Linear notation, Vaughan Pratt
(0) Re: Linear notation, Paul Taylor
(0) Confusion between e-mail lists, Albert R. Meyer
(0) Re: Linear notation, aa%taurus.bitnet
(0) Re: Linear notation, pratt