Mail Thread Index

Main Index

(0) No Subject,
(0) No Subject,
(0) No Subject,
(0) No Subject,
(0) Workshop on Types for Program Analysis, Hanne Riis Nielson
(0) monad transformer papers, David Espinosa
(0) Cahiers 8, Crabb'e Marcel
(0) TR available: "Dynamic Types Have Existe, Dominic Duggan
(0) Proof Normalization and Subject Reductio, Sergei Vorobyov
(0) TAPSOFT '95 Preliminary Programme, Peter D. Mosses
(0) Workshop on Advances In Type Systems For, Andrew Pitts
(0) Papers on Cut Elimination, Frank Pfenning
(0) Faculty Position at Stanford, John "C." Mitchell
(0) Natural deduction and coherence, Robert A. G. Seely
(0) TLCA'95: call for participation, Philippa Gardner
(0) [New Book]: Isomorphisms of Types, Roberto.Dicosmo
(0) WoLLIC '95 - Call for Contributions, Ruy de Queiroz
(0) Reversible computations; Proof nets and , Laurent REGNIER
(0) Structural Rules and Exponentials, marco
(0) Chair in Theoretical Computer Science at, Gordon Plotkin
(0) Undecidability of second order linear lo, Yves LAFONT
(0) MFPS Program and Registration Informatio, Michael Main
(0) LLL : the paper, Jean-Yves GIRARD
(0) Isabelle course -- brief notice, Lawrence C Paulson
(0) Re: Structural Rules and Exponentials, Yves LAFONT
(0) colloquium at ENS, Giuseppe.Longo
(0) The Tbilisi Symposium on Language, Logic, tbilisi
(0) Higher-Order Logic Programming, Gopalan Nadathur
(0) Re: Structural Rules and Exponentials, G M Bierman
(0) For you perhaps, dkm
(0) Summer School on Semantics and Logic of , Andrew Pitts
(0) No Subject, types-dist-request
(0) LICS'95 Accepted Papers, Amy Felty
(0) Soundness of Seely's models, Robert A. G. Seely
(0) Categorical models of linear logic., Torben Brauner
(0) Research Fellowships at QMW, Edmund Robinson
(0) Categorical models of linear logic., Nick Benton
(0) Research Studentships at UEA, Norwich, John Glauert
(0) monad composition as a relation, David Espinosa
(0) Categorical Models of Linear (and other), Greg Restall
(0) TLCA'95, early registration, Philippa Gardner
(0) Comparing Cubes of Type Systems, Simonetta Ronchi_della_Rocca
(0) Re: Categorical Models of Linear (and ot, Vaughan Pratt
(0) Categorical Models of Linear (and other), Uday S. Reddy
(0) Type inference with record-subtyping?, Jens Palsberg
(0) Re: Categorical Models of Linear (and ot, R. L. Crole
(0) Re: Categorical Models of Linear (and ot, Thorsten Altenkirch
(0) MLL2 is undecidable, Andre SCEDROV
(0) LOPSTR'95 Call for Papers, Maurizio Proietti
(0) Lectureships at Glasgow, wadler
(0) Question: typing with set of most genera, simonc
(0) DCFLs and recursive types, steck
(0) Covariant Deep Subtyping Reconsidered, David Lujun Shang
(0) Re: Categorical Models of Linear (and ot, Greg Restall
(0) Summary: type inference, Jens Palsberg
(0) AMAST'95 Preliminary Programme available, Pippo Scollo
(0) Re: Question: typing with set of most ge, Mitchell Wand
(0) paper on MLL2, Yves LAFONT
(0) Re: Summary: type inference, hak
(0) Re: Question: typing with set of most ge, Martin Odersky
(0) paper available: "Polymorphic Methods wi, Dominic Duggan
(0) LICS'95 Program & Registration (text & L, Amy Felty
(0) Final CFP for Static Analysis Symposium , Alan Mycroft
(0) new address, Thomas Streicher
(0) Research Posts in Theoretical Computer s, George Cleland
(0) Linear Lauchli Semantics: paper availabl, SCPSG
(0) Question: typing with set of most genera, simonc
(0) LDPL'95 Call for participation, ldpl95
(0) Normalisation by Translation, loader
(0) Lectureships, Matthew Hennessy
(0) Papers available: game semantics for laz, Guy McCusker
(0) LICS Registration Update / Sample Newsle, Amy Felty
(0) Positions in Theoretical Computer Scienc, M.Z.Kwiatkowska
(0) Research Studentships, Matthew Hennessy
(0) SCILL, wadler
(0) Research Studentship, Zhaohui.Luo
(0) Announcement, Jan Rutten
(0) New linear logic bibliography, Iliano Cervesato
(0) Polymorphic Record Calculus and Compilat, Atsushi Ohori
(0) addendum for Kfoury+Wells Dec. 1994 tech, Joe Wells
(0) decision problem for non-commutative lin, Martin Emms
(0) Information relating to the AMAST newsle, Pippo Scollo
(0) Non-commutative MLL2 is undecidable, Max KANOVITCH
(0) paper available, Michael Huth
(0) Summer School on SEMANTICS AND LOGICS OF, Andrew Pitts
(0) papers available, Marek Zaionc
(0) LICS'95 2nd Call for Participation, Amy Felty
(0) THEMES IN THE SEMANTICS OF COMPUTATION, Andrew Pitts
(0) BRICS positions, Uffe Engberg
(0) Church Festschrift Refereeing, Michael Zeleny
(0) A New Basic Set or Proof Transformations, Ruy de Queiroz
(0) positions in Nijmegen, Wil Dekkers
(0) Paper on binary methods in object-orient, Gary Leavens
(0) research position, Abbas Edalat
(0) WADT11/COMPASS-8, 2nd CFP (ASCII & Latex, Magne.Haveraaen
(0) finite phase semantics, Yves LAFONT
(0) LICS'95 Registration Reminder, Amy Felty
(0) Dana Scott receives Honorary Degree from, mikef
(0) COORDINATION'96, Roberto Gorrieri
(0) Structural Rules, Avron Arnon
(0) garbled paper, Michael Barr
(0) Papers on a theory of objects, Luca Cardelli
(0) Submissions by e-mail (NEW DEADLINE), Ruy de Queiroz
(0) Research position at Chalmers, Bengt Nordstr|m
(0) Dana Scott, Honorary Degree Celebration;, Michael Fourman
(0) "Themes in the Semantics of Computation", Andrew Pitts
(0) rewrite semantics for extended mu-calcul, Thomas Streicher
(0) Paper on lambda calculus optimal graph r, Stefano Guerrini
(0) Cancellative LL, Jean Marc Andreoli
(0) Advances in Linear Logic, Yves LAFONT
(0) Cancellative LL, Masaru Shirahata
(0) Re: Cancellative LL, Jose Meseguer
(0) plain text ICFP CFP for electronic distr, Robert Harper
(0) Call for papers: CAAP-CC-ESOP 96, Helene Kirchner
(0) NEW BOOK: Logic Programming: Formal Meth, Christoph Beierle
(0) Research positions at Sussex, Matthew Hennessy
(0) Coq V5.10 Release, Coq Team
(0) Second order Lambek is undecidable, Max KANOVITCH
(0) Lectureships in Computer Science, Rosemary Soutar
(0) Chair in Computer Science, Roy L. Crole
(0) university positions, Peter Clote
(0) SAS 95 Call for Participation, Alan Mycroft
(0) Linear logic in mathematical practice, Vaughan Pratt
(0) Post for Research Fellow, J.A.Bayfield
(0) Static Analysis Symposium '95, simonpj
(0) paper on interaction combinators, Yves LAFONT
(0) ILPS'95 Workshop Announcement, James Harland
(0) Job Ad: Post-Doctoral Fellowships at Edi, Rajagopal Nagarajan
(0) Availability of the linear logic program, James Harland
(0) Advances in Linear Logic (corrected), Yves LAFONT
(0) paper: from Chu spaces to cpos, Francois LAMARCHE
(0) The relationship between exceptions and , Mark Lillibridge
(0) paper: Subtyping Dependent Types, David Aspinall
(0) Curry-Howard Isomorphism, Dirk Dussart
(0) types, Carolyn Talcott
(0) announcement of a congress, Giovanni Sambin
(0) universe elimination rules, Daniel Mahler
(0) CADE-13 Call for Papers, Geoff Sutcliffe
(0) TPTP-v1.2.0 release, Geoff Sutcliffe
(0) universe elimination rules (replies), Daniel Mahler
(0) MLLW2 is undecidable, Alexey P. Kopylov
(0) postgraduate studentship in Nijmegen, Wil Dekkers
(0) Curry-Howard Isomorphism (replies), Dirk Dussart
(0) WORKSHOP ANNOUNCEMENT, Jeremy Gunawardena
(0) Programme of the 1st Tbilisi Symposium o, tbilisi
(0) LICS'96 Call for Papers, Amy Felty
(0) CFP: Goedel'96 -- August 25-29, Brno, Cz, Jiri Zlatuska
(0) Hypertext Bibliography WWW page, David M. Jones
(0) Types Forum policy, types
(0) Two postdoctoral posts in Gothenburg, & Nordstr|m
(0) Tech report: `A theory of weak bisimulat, Alan Jeffrey
(0) EXPONENTIAL, URSINI
(0) Re: EXPONENTIAL, Jean-Yves GIRARD
(0) faculty positions, Indiana U search
(0) CFP: MFPW'96/NZFPDC'96, Massey FP Workshop/NZFPDC
(0) EXPONENTIALS (PS), Jean-Yves GIRARD
(0) workshop on Games, Processes and Logic, Andrew Pitts
(0) Re: Types Forum policy, types
(0) CFP: 1996 Federated Logic Conference (te, Doug Howe
(0) Position Announcement, Dave Schmidt
(0) LLI-Job at Saarbr"ucken, Germany, kohlhase
(0) Announce, Patrick Baillot
(0) Shape papers, Barry Jay
(0) Generalized Ultrametric Spaces, Jan Rutten
(0) paper on finite phase semantics, Yves LAFONT
(0) Job opportunity, A. Jung
(0) 2nd CFP: MFPW'96/NZFPDC'96, Massey FP Workshop/NZFPDC
(0) CADE-14 Program Chair, Geoff Sutcliffe
(0) LICS'96 Second Call for Papers, Amy Felty
(0) "A NEW DECONSTRUCTIVE LOGIC: LINEAR LOGI, Harold Schellinx
(0) Effective topological lambda models, Dieter Spreen
(0) Postdoc positions, Val Tannen
(0) Subtyping for second-order types is unde, Jerzy Tiuryn
(0) ON DENOTATIONAL COMPLETENESS, Jean-Yves GIRARD
(0) Robin Gandy, bellin
(0) Re: CONCUR'96 - Call for Papers, ugo
(0) AMAST'96 Call for Systems Demonstrations, Pippo Scollo
(0) Typing in object-oriented languages, Kim Bruce
(0) Journal of Functional Programming: state, Simon L Peyton Jones
(0) New WWW Page: Logic-Related Conferences, Doug Howe
(0) LICS'96 Final Call for Papers + Correcti, Amy Felty
(0) Full abstraction for PCF, Pasquale Malacaria
(0) SEMANTICAL INVESTIGATIONS OF LINEAR LOGI, URSINI
(0) A Type-Theoretic Basis for an Object-Ori, Emil Sekerinski
(0) Linear Logic 96, Tokyo Meeting, Mitsu Okada
(0) Typing in object-oriented languages, Kim Bruce
(0) British Colloquium for Theoretical Compu, bctcs
(0) Faculty Positions at Loyola University C, Konstantin Laufer
(0) ELP'96: Call for Participation, Peter Schroeder-Heister
(0) Conference Announcement ICFP w/ FLIC, Matthias Felleisen
(0) Lectureship in Computer Science, Roy L. Crole
(0) Survey paper available, A.Jung
(0) CFP: ESSLI96 Workshop on LP systems, Vitor Santos Costa
(0) 3rd WoLLIC'96 - third call, Ruy de Queiroz
(0) On Weak and Strong Normalisations, HongWei_Xi
(0) Re: Call for papers: LOPSTR'96, john
(0) ESOP, CAAP, CC: call for participation, Hanne Riis Nielson
(0) CFP: ESSLI96 Workshop on LP systems, Vitor Santos Costa
(0) Lectureship in Computer Science, Roy L. Crole
(0) ELP'96: Call for Participation, Peter Schroeder-Heister
(0) FOOL Workshop call for papers, Kim Bruce
(0) Research Position, Matthew Hennessy
(0) MFPS Resgistration Information, mwm
(0) Re: On Weak and Strong Normalizations, Morten Heine S|rensen
(0) Associate Professor Positions at Italian, Eugenio Moggi
(0) Research Fellowship, Zhaohui.Luo
(0) a satellite meeting to Linear'96, Masaru Shirahata
(0) LACL call for papers, Christian RETORE
(0) Paper available by ftp, Robert A. G. Seely
(0) Postdoc: logic in computer science, Harry Mairson
(0) AMAST'96 Preliminary Program, Pippo Scollo
(0) Coq distribution, Gerard Huet
(0) Work-Shop, Jean-Paul BAHSOUN
(0) ESSLLI97 - Call for Proposals, Bill Keller
(0) Re: CADE-15 Solicitation -Reply, SUTCLIFFE GEOFF
(0) TLCA'97 call for papers, Roger Hindley
(0) Associate Professor Positions at Italian, Eugenio Moggi
(0) Research Position, Matthew Hennessy
(0) Re: On Weak and Strong Normalizations, Morten Heine S|rensen
(0) Non-dependant PTS's, Neil Ghani
(0) Paper available: Linear Logic complement, Vaughan Pratt
(0) [cfp]: algi3, AKAMA Youji
(0) No Subject, Linear96
(0) Types Forum, Philip Wadler
(0) Re: Non-dependant PTS's, Randy Pollack
(0) Re: Non-dependant PTS's, David Aspinall
(0) Linear Logic 96, Linear96
(0) PVS Tutorial/Workshop in Tokyo: April 4,, shankar
(0) CADE-13 Workshop on Proof search in Type, Didier Galmiche
(0) WN => SN, Morten Heine S|rensen
(0) NEC Research Symposium May 20-21, Andrew Wright
(0) Last CC/ESOP/CAAP call for participation, Patrik Hagglund
(0) AMAST'96: Call for Partecipation, Bernhard Reus
(0) FOOL Workshop paper submission problem, Kim Bruce
(0) reminder: ICFP '96, FCRC '96, Robert Harper
(0) Two logic papers, Alessandra Carbone
(0) Finite Model Theory Tutorial, Roy L. Crole
(0) ASIAN'96 CALL FOR PAPERS, Joxan Jaffar
(0) CADE-13 ATP System Competition, Sutcliffe Geoff
(0) GOEDEL'96 - Conference Programme, Milan Daniel
(0) BRICS Autumn School in Verification, Allan Cheng
(0) new job, Carl Gunter
(0) reminder: fcrc registration deadline loo, Robert Harper
(0) ACM Summer School, school
(0) new job, Carl Gunter
(0) ACM Summer School, school
(0) FLoC'96 Advance Program, Doug Howe
(0) ECOOP'96 Workshop, Jean-Paul BAHSOUN
(0) Coherent Banach Spaces : A Continuous De, Jean-Yves GIRARD
(0) SAS'96: last call for papers, Radhia Cousot
(0) LICS'96 Advance Program + Registration I, Doug Howe
(0) Lecturing Position, Martin Odersky
(0) Reorg of half of Boole.Stanford.EDU, Vaughan Pratt
(0) types, Didier Galmiche
(0) DIMACS Workshop on Computational Complex, bquigley
(0) Multiplicative conjunction, Arnon Avron
(0) Decidability question, Neil Ghani
(0) paper available by ftp : definite versio, Jean-Yves GIRARD
(0) Announcing Hypatia Electronic Library, Hypatia Electronic Library
(0) last issue of the paper journal FORMALIZ, Roman Matuszewski
(0) relative definability, Thomas EHRHARD
(0) Call for papers: POPL '97, Fritz Henglein
(0) NuPrl extract terms, Jonathan Whittle
(0) reference required, Larry Paulson
(0) The 1996 Summer School on Advanced Funct, Jeff Lewis
(0) technical report, Robert Harper
(0) Participation Call: TPHOLs'96 - Theorem , Jim Grundy
(0) CONCUR 96: Programme and forst call for , Vladimiro Sassone
(0) remove, Wayne Snyder
(0) please remove me, Zulah Karen Eckert
(0) Please remove me., Kaku 'DUKE' Takeuchi
(0) TAPSOFT'97 CALL FOR PAPER., Marc.Tommasi
(0) CS research fellowship for women, Bj|rn von Sydow
(0) Workshop on Foundations of OO languages, Kim Bruce
(0) re: reference required, Lawrence C Paulson
(0) Types in Monadic Mobile Processes, ny
(0) A kappa-denotational semantics of Map Th, berline
(0) International School on Type Theory and , fairouz
(0) FLoC'96: Second Call for Participation, Doug Howe
(0) Multi-Level Specifications (new papers), Eelco Visser
(0) Subtypes vs. Convertible Types, David Lujun Shang
(0) CFP reminder: ASIAN'96, Roland Yap Hock Chuan
(0) Soundness of the C++ or Java type syste, Sophia Drossopoulou
(0) paper announcement for linear mailing li, bellin
(0) 8th Nordic Workshop on Programming Theor, Magne.Haveraaen
(0) FOOL 4: Call for papers / appel `a commu, Benjamin C. Pierce
(0) International Conference on Functional P, Simon L Peyton Jones
(0) types, Roman Garcia
(0) Reminder: Workshop on Foundations of OO, Kim Bruce
(0) a web page drawing type assignment figur, Sachio Hirokawa
(0) Volunteer Typesetters Wanted, Michael Zeleny
(0) paper, Dusko Pavlovic
(0) papers available, Alessandra Carbone
(0) LOGSEM workshop in Birmingham, Valeria DePaiva
(0) Moving on, Jean Gallier
(0) types, Fairouz Kamareddine
(0) Sussex technical reports, Julian Rathke
(0) A Type System for Gnome, Antonio Ravara
(0) Preliminary call for papers for TACS 97 , ma
(0) websites, ftp, and copyright, Phil Scott
(0) TABLEAUX'97 Call for Papers, Didier Galmiche
(0) First Workshop on FP in Argentina: IMPOR, Roman Garcia
(0) Job advert: 3 Lecturer B Positions in Ad, Martin Odersky
(0) Logic/Semantics Tools from Kansas State , Allen Stoughton
(0) Fool workshop: 2nd call for papers / 2me, Benjamin C. Pierce
(0) Faculty Position, Matthew Hennessy
(0) Fool workshop: 2nd call for papers / 2me, Benjamin C. Pierce
(0) Minimal Typings in Atomic Subtyping, Jakob Rehof
(0) Research Fellowship, Zhaohui.Luo
(0) Tech. Rep. on specialization inheritance, Marco Temperini
(0) research post at Kent, dat
(0) Kanellakis Award, Moshe Vardi
(0) Postdoc at Penn, Carl Gunter
(0) Minimal Typings in Atomic Subtyping, Jakob Rehof
(0) types, Prof. Dr. Vogler
(0) CFP: 2nd ACM SIGPLAN Workshop on Continu, Andrzej Filinski
(0) types, Jens Palsberg
(0) BOOK: Foundations for Programming Langua, John C. Mitchell
(0) Position at QMW, Edmund Robinson
(0) Automated Analysis of Software, Rance Cleaveland
(0) A Typed Context Calculus, Atsushi Ohori
(0) Postdoctoral Position at Imperial Colleg, Lindsay Errington
(0) ICALP'97 -- first call for papers, Roberto Gorrieri
(0) CADE-13 ATP Competition Results, Geoff Sutcliffe
(0) Submit exceptional papers to JACM, John C. Mitchell
(0) LOGSEM Workshop in B'ham, Valeria DePaiva
(0) Book: A Theory of Objects, Luca Cardelli
(0) CFP - CTCS'97 conference, Eugenio Moggi
(0) Book: A Theory of Objects, Luca Cardelli
(0) Ph.D. Studentships, Roy L. Crole
(0) A Partially Deadlock-free Process Calcul, KOBAYASHI Naoki
(0) TapSoft'97 : 2nd Call For Paper, Marc.Tommasi
(0) LICS'97 Call for Papers, types
(0) LACL call for participation, Christian RETORE
(0) Revision of paper on ftp, Robert A. G. Seely
(0) Workshop on Domain-Specific Languages, Sam Kamin
(0) CADE-14 Call for Papers, Workshops, Tuto, Sutcliffe Geoff
(0) Paper available, GM Bierman
(0) last issue of the paper journal FORMALIZ, Roman Matuszewski
(0) Announcement, Jan Rutten
(0) Fuji Workshop on Functional and Logic Pr, Atsushi Ohori
(0) Announcement of paper: FILL, Robert A. G. Seely
(0) CFP Workshop on Types in Compilation (TI, muller
(0) CFP for Intl. Workshop on Database Progr, Rick Hull
(0) CSL '97 first announcement and call for , Uffe Henrik Engberg
(0) Workshop on Automated Analysis of Softwa, Fritz Henglein
(0) paper on polymorphic pi-calculus availab, Davide Sangiorgi
(0) ASIAN'96 Preliminary Program (long), Roland Yap Hock Chuan
(0) Announcement: Research Assistant Positio, Thom Fruehwirth
(0) CADE-14 CFP: 2nd Call, Sutcliffe Geoff
(0) New Paper Available, Phil Scott
(0) paper available on typed pi-calculus and, Davide Sangiorgi
(0) 8th Nordic Workshop on Programming Theor, Magne Haveraaen local
(0) paper on the soundness of the Java type , Sophia Drossopoulou
(0) ftp and URL location of the Java soundne, Sophia Drossopoulou
(0) ICFP'97: update and final call for paper, Simon L Peyton Jones
(0) POPL '97 advance program, Fritz Henglein
(0) Brouwer on idempotence of AND or OR, Vaughan Pratt
(0) CADE-14 ATP System Competition Call for , Sutcliffe Geoff
(0) TABLEAUX'97 Last call for papers, Didier Galmiche
(0) Hindley-Milner type inference in pseudo-, David McAllester
(0) ICLP97 call for papers, iclppubl
(0) fellowships announcement for the type ma, Barthe Gilles
(0) types as values, Brian Postow
(0) New Types Forum Moderator, Types dist list
(0) Re: New Types Forum Moderator, Benjamin Pierce
(0) No Subject, sanchis
(0) Professorship at University of Provence, Roberto Amadio
(0) FOOL workshop: Call for Participation, Benjamin Pierce
(0) Book announcement: Algol-like languages, Peter O'Hearn
(0) POPL '97: 2nd call for participation, Fritz Henglein
(0) Book on Domains and Lambda Calculi, Roberto Amadio
(0) Call for papers for TACS 97 (Sendai, Jap, ma
(0) Paper announcement, Zhenyu Qian
(0) LLL semantics, Andre Scedrov
(0) Thesis, Torben Brauner
(1) Hilbert systems vs. Gentzen systems, Healfdene Goguen

(1) Hilbert systems vs. Gentzen systems, Thorsten Altenkirch

(0) Re: Hilbert systems vs. Gentzen systems, Peter Selinger