Mail Thread Index

Main Index

(0) notation decision, jr hindley
(0) Paper available by ftp, Jean Gallier
(0) A uniqueness question, jr hindley
(0) Constant-Only LL is undecidable, Lev D. Beklemishev
(0) Complexity of Constant-Only Fragments of, Lev D. Beklemishev
(0) CFP: First Workshop on Principles and Pr, Pascal van Hentenryck
(0) UPDATE: 3rd Kurt Goedel Colloquium, kgs
(0) Types forum, types
(0) workshop announcement, Wayne Snyder
(0) Coherence for weakly distributive catego, Robert A. G. Seely
(0) CFP -- Workshop on State in Programming , odersky
(0) Uniqueness problem answered, jr hindley
(0) Summer School on Type Theory, Bengt Nordstr|m
(0) Summer School in ``Logic in Computer Sci, danos
(0) F-bounded polymorphism, Satish Thatte
(0) Yet Another Strong Normalization Proof.., alti
(0) Re: F-bounded polymorphism, Kim Bruce
(0) Re: F-bounded polymorphism, Satish Thatte
(0) Re: F-bounded polymorphism, Kim Bruce
(0) Re: F-bounded polymorphism, Satish Thatte
(0) Re: F-bounded polymorphism, Dinesh Katiyar
(0) question about typing power of F_omega, kucan
(0) Re: F-bounded polymorphism and the Card, Satish Thatte
(0) FOmegaSub implementation available, pierce
(0) an update on "Formal parametric polymorp, ma
(0) vacancy, Lawrence C Paulson
(0) Re: Typing Power of F_omega, Simonetta Ronchi
(0) Non Strictly Positive Datatypes in Syste, mxh
(0) A decidable variant of Fsub, Giuseppe Castagna
(0) errata for S&T, Carl Gunter
(0) Re: A decidable variant of Fsub, ma
(0) Re: A decidable variant of Fsub, pratt
(0) types for Scott numerals (or re: Non Str, ma
(0) referencies inquiry, radek
(0) Completeness results for linear logic on, Uffe Engberg
(0) ISABELLE-92 (beta release), Lawrence C Paulson
(0) Hypercoherences, Thomas Ehrhard
(0) Re: A decidable variant of Fsub, pierce
(0) references on partial comb algebras, John "C." Mitchell
(0) FTP archives for papers: database & mirr, Paul Taylor
(0) The S-All-Loc variant of Fsub, Giorgio Ghelli
(0) Re: references on partial comb algebras, beeson
(0) Proof search strategies in linear logic, Tanel Tammet
(0) Positive inductive definitions revisited, Z. Splawski
(0) a paper on objects for anonymous ftp, ma
(0) mirror database of papers by ftp, Paul Taylor
(0) (short) paper available, Dr G Bellin tel 2-76933
(0) Experimental Fmeet typechecker available, Benjamin Pierce
(0) An old confusion about undecidability of, Gary Leavens
(0) Away, types
(0) Papers by anon ftp, John "C." Mitchell
(0) Two papers on static type systems for ob, Benjamin Pierce
(0) New paper available by ftp, Jean Gallier
(0) concurrency@cwi.nl, Anil Nerode - Math Prof - Dir MSI
(0) TACS '94 First announcement and call for, John "C." Mitchell
(0) Mix Rule and Girardian Turnstile, Sanjiva Prasad
(0) Book announcement, David.Wolfram
(0) Re: Mix Rule and Girardian Turnstile, Arnon Avron
(0) no-short-trips on additive proof-nets, Dr G Bellin tel 2-76933
(0) Girardian turnstyle, Jean Gallier
(0) LFG semantics via Constraints, Vijay Saraswat
(0) New papers available by ftp, Jean Gallier
(0) No Subject, odersky
(0) FPCA/SIPL/PEPM advance program and regis, henglein
(0) paper available via ftp, Eugenio Moggi
(0) No Subject, types-dist-request
(0) No Subject, types-dist-request
(0) paper on FTP, Dusko Pavlovic
(0) Announcement of Summer School, TEMPUS
(0) Questions on LU and ITT, Sanjiva Prasad
(0) IL -- LU -- LL, hars
(0) Re: Questions on LU and ITT, David J Pym
(0) New book on TERM GRAPH REWRITING, Ronan Sleep
(0) Postdoctoral Fellowship, Matthew Hennessy
(0) geometry of interaction & categorical mo, Thomas Streicher
(0) tabula gratulatoria, Dezani Mariangiola
(0) linear topology, hopf algebras and *-aut, Richard Blute
(0) Regarding "realizability, covers and she, Jean Gallier
(0) What's new?, Andrew Pitts
(0) paper announcement, Andrea Asperti
(0) par symbol in TeX, Paul Taylor
(0) Fwd: Thomas Streicher's message, Samson Abramsky
(0) Re: par symbol in TeX, pratt
(0) LOGIC COLLOQUIUM '93, Jayne M. Beardmore
(0) Portable par, Vaughan Pratt
(0) paper announcement, Gianluigi Bellin
(0) natural deduction for linear logic; corr, Anne S. Troelstra
(0) Interaction Systems 1, Laneve Cosimo
(0) Roma, Claudia Casadio
(0) Krivine's Machine with Control from a Co, Thomas Streicher
(0) SML weak types paper available, John.Greiner
(0) MFCS'93 information booklet, plain text., Andrzej Borzyszkowski
(0) Preliminary Announcement, Dr G Bellin tel 2-76933
(0) result announcement: 2nd-order Lambda Ca, Joe Wells
(0) CFP: Special Issue of LASC, odersky
(0) Paper available by ftp, Ralph Loader
(0) Conference - Theor. Aspects Computer Sof, John "C." Mitchell
(0) O'small (Announcement of a new compiler), Andreas Hense
(0) Co-induction by ftp, Lawrence C Paulson
(0) OOL paper available by anonymous ftp, Kim Bruce
(0) recursively typed lambda calculus, Fritz Mueller
(0) Full ILL paper, Valeria de Paiva
(0) Corrected edition of Springer Lecture No, Marc Bezem
(0) No Subject, Jawahar Chirimar
(0) limited use of exponentials, Serena Cerrito
(0) LICS'94 Call for Papers, daniel leivant
(0) SLNM 344, corrected ftp-address, Marc Bezem
(0) A question for Martin-L\"of disciples, Joshua Caplan
(0) Re: SLNM 344, corrected ftp-address, Michel Eytan, LILoL
(0) paper available: 2nd-order Lambda Calcul, Joe Wells
(0) Banach Spaces & Linear Logic, Gerry Allwein
(0) applicative bisimulation, Andrew Gordon
(0) New book: Theory and Formal Methods 1993, Mark Ryan
(0) Referees Wanted, zeleny
(0) Games and Full Abstraction for PCF: Join, Luke Ong
(0) Brief Guide to LL, Andre Scedrov
(0) Moving ML/Haskell toward second-order po, simonpj
(0) New Textbook, Roy Crole
(0) Online LICS bibliography updated, David M. Jones
(0) change of address, curien
(0) Duality for Bounded Lattices, Gerry Allwein
(0) PCF, Algol, and Parametric Polymorphism, ohearn
(0) Research Assistant Post, wadler
(0) paper announcement, Andrea Asperti
(0) Games and Full Abstraction for PCF: seco, Samson Abramsky
(0) errata corrige, Andrea Asperti
(0) Errata to "What's so special about Krusk, Jean Gallier
(0) Strength of fixed-point induction, John "C." Mitchell
(0) New paper available by ftp, Jean Gallier
(0) Multiple Inheritance via Intersection Ty, abc
(0) non-commutative tensor, Christian Retore
(0) paper available, Lawrence C Paulson
(0) subtyping variants, Radu Grosu
(0) proof terms for classical logic in natur, Thomas Streicher
(0) Chu is cofree, Dusko Pavlovic
(0) erratum: Undecidabilty of System F, Serge Vorobyov
(0) invitation, Petry
(0) Parametricity and Local Variables, ohearn
(0) complexity, lafont
(0) lambda - a program for solving lambda de, Allen Stoughton
(0) Simple questions about simple types, wadler
(0) Re: Simple questions about simple types, wadler
(0) Paper available by ftp, Pawel Urzyczyn
(0) Bohm Festschrift announcement, Simona RONCHI DELLA ROCCA
(0) Termination of system F-bounded, Giorgio Ghelli
(0) confluence, subject reduction for F^{ome, Dominic Duggan
(0) Re: Simple questions about simple types, wadler
(0) Wrong ftp address in 'Termination of Sys, Giorgio Ghelli
(0) unit-only LL is not trivial, Sergei N. Artemov
(0) Re: confluence, subject reduction for F^, Dominic Duggan
(0) paper available by ftp - Prameterized In, Sophia Drossopoulou
(0) Summary for Subtyping Variants, Radu Grosu
(0) International Conference on Logic and Al, MAGCONF
(0) paper available, Lawrence C Paulson
(0) paper available: Finite-Rank Polymorphic, Joe Wells
(0) Re: paper available: Finite-Rank Polymor, Joe Wells
(0) Summer course on Isabelle, Lawrence C Paulson
(0) REMINDER: LICS'94 submission deadline, Amy Felty
(0) Announcement of MFPS X, Allen Stoughton
(0) paper available, Andrew Pitts
(0) TACS '94: Final program and registration, David M. Jones
(0) State in functional languages, Simon L Peyton Jones
(0) Question on coherence semantics, Zuber
(0) State in functional languages, Simon L Peyton Jones
(0) No Subject, types-dist-request
(0) Question on coherence semantics, Zuber
(0) EUROFOCS Advert, gdp
(0) TACS'94: Invited Lectures and Special Le, David M. Jones
(0) new Isabelle available by ftp, Lawrence C Paulson
(0) Soft Typing for Scheme, Andrew Wright
(0) paper annoucement, Laurent REGNIER
(0) additives, girard
(0) PAPER: Applications of LL to Computation, Vladimir Alexiev
(0) PAPER ABSTRACT, URSINI
(0) five-year Lectureship, gdp