Mail Thread Index

Main Index

(0) No Subject,
(0) Two papers on higher-order polymorphism , Benjamin Pierce
(0) ABSTRACT, URSINI
(0) A flaw in the proof of Fermat's theorem, Mamede Lima Marques - POS_MAT
(0) BRA project `Types for Proofs and Progra, Herman Geuvers
(0) CORRECTION, URSINI
(0) categorical treatment of F_omega?, David Espinosa
(0) paper announcement, David McAllester
(0) Intuitionistic Sets and Ordinals (paper , Paul Taylor
(0) Isabelle course -- places still availabl, Lawrence C Paulson
(0) Paper on representation of the Reals (an, Philipp Suenderhauf
(0) Proof Theory, Complexity, Metamathematic, kgs
(0) Higher-order polymorphism: corrected ver, Benjamin Pierce
(0) A Hitchhiker's Guide to Linear Decoratin, Harold A.J.M. Schellinx
(0) Program Annoucement for ASL Annual Meeti, Dale Miller
(0) Recent papers relevant to linear logic, Vaughan Pratt
(0) paper available by ftp, Jean-Yves GIRARD
(0) PSSL announcement, Edmund Robinson
(0) subtype inference system available, Alex Aiken
(0) "A Theory of Primitive Objects"; paper a, luca
(0) CFP: Proof search in type-theoretic lang, Didier Galmiche
(0) Summary: Type Theory text/reference, Dwight Tuinstra
(0) a full abstraction result for local vari, Kurt Sieber
(0) Fsub+recursive types: two FTP-papers, Serge Vorobyov
(0) types, Stefano Berardi
(0) Re: Summary: Type Theory text/reference, Mitchell Wand
(0) Pointers needed in extensions to Martin-, Joshua Caplan
(0) paper available, Michael Huth
(0) Pointers needed in extensions to Martin-, James Otto
(0) new dissertation and talk, Masaru Shirahata
(0) Evolving Algebra semantics for LL (reque, Vladimir Alexiev
(0) new dissertation available by ftp, Masaru Shirahata
(0) TLCA: First Call for Papers (Plain Text , Gordon Plotkin
(0) summer school on partial evaluation, Olivier Danvy
(0) Re: Evolving Algebra semantics for LL (r, Vladimir Alexiev
(0) Re: Evolving Algebra semantics for LL (r, John "C." Mitchell
(0) Papers available by Public ftp, Greg Restall
(0) Re: Papers available by Public ftp, pratt
(0) Last CFP CADE-12 Workshop on Proof Searc, Didier Galmiche
(0) Independent sets of constant-only formul, Max KANOVITCH
(0) non-commut !-free LL is PSPACE-complete, Max KANOVITCH
(0) ilps94 call for workshop proposal (text+, Francesca Rossi
(0) papers available, Joerg Hudelmaier
(0) CFP, ECOOP'94 workshop (W4) on Logical F, Jean Marc Andreoli
(0) School announcement, HONSELL
(0) LICS'94 Program and Registration, Amy Felty
(0) Colloquium:, Giuseppe.Longo
(0) Re: Foundations of Object-Oriented Langu, Andrew "P." Black
(0) Substructural Logics, Peter Schroeder-Heister
(0) Workshop on Logic, Lang., Inform. & Comp, Ruy de Queiroz
(0) WWW, Pat Lincoln
(0) Change of address, J Roger Hindley
(0) Isabelle course -- final call, Lawrence C Paulson
(0) report annoucement, Francois Lamarche
(0) paper annoucement, metayer
(0) Lectureships at Glasgow, wadler
(0) paper available, Dale Miller
(0) paper available (draft), Lawrence C Paulson
(0) Kripke Logical Relations and PCF, ohearn
(0) School on Typed Lambda Calculus ( final , HONSELL
(0) Complete Programme of META94 - LOPSTR 94, Paolo Mancarella
(0) Reminder: LICS'94 Registration, Amy Felty
(0) Thesis on type inference for object-orie, Andreas Hense
(0) Two ftp-able papers, SCPSG
(0) CFP: ECOOP 94 W/S on Economic Impact of , Dr." Giancarlo Succi
(0) Paper on propositional equality, Ruy de Queiroz
(0) new collection, gunter
(0) On fixed points in (full classical) line, David JANIN
(0) CFP: State in Programming Languages (SIP, ohearn
(0) Job Advertisement, Rick Thomas
(0) ALP/PLILP'94 Preliminary Program and Reg, ALP/PLILP'94 Secretariat
(0) ABSTRACT, URSINI
(0) Announcement: I&C WWW homepage now avail, David M. Jones
(0) paper available by ftp (new version), Jean-Yves GIRARD
(0) CFP: TAPSOFT'95, Peter D. Mosses
(0) new version: 2nd-order Lambda Calculus T, Joe Wells
(0) Full affine logic is decidable, Sergei N. Artemov
(0) in which models of untyped lambda calcul, Thomas Streicher
(0) Krivine's book in Engl?, J Roger Hindley
(0) Re: in which models of untyped lambda ca, Giuseppe.Longo
(0) errata list for ``The Structure of Typed, Dave Schmidt
(0) Axiomatic Domain Theory, Marcelo Fiore
(0) A tale of two translations, wadler
(0) NSL'94, Hajime Ishihara
(0) Krivine's book in Engl., J Roger Hindley
(0) Linear lambda calculi, wadler
(0) new model for second order lambda calcul, Dieter Spreen
(0) WoLLIC '94 - Final Programme, Ruy de Queiroz
(0) Conference: Category Theory and Computer, David Rydeheard
(0) technical reports (re), Alexandre Zamulin
(0) Fock Space, Richard Blute
(0) paper announcement, bellin
(0) Second call for papers, TLCA, Philippa Gardner
(0) paper announcement, koba
(0) Structural decidable extensions of Fsub, Serge Vorobyov
(0) types, types
(0) Exponentials in linear logic, Clemens Cap
(0) Symposium/Book announcement, Herman Geuvers
(0) Hierarchies of decidable extensions of F, Serge Vorobyov
(0) Research Assistant Position, Fairouz Kamareddine
(0) Re: A tale of two translations, Sanjiva Prasad
(0) FP Applications List, wadler
(0) CFP: TAPSOFT'95 (short reminder), Peter D. Mosses
(0) Thesis: Discrete Approximation of Spaces, Philipp Suenderhauf
(0) FCT'95, Horst Reichel
(0) MFPS Call for Papers, Michael Main
(0) SYMPOSIUM `The Influence of Automath', Jan Herman Geuvers
(0) Extensions of Fsub with Decidable Typing, Serge Vorobyov
(0) A Typed Operational Semantics for Type T, Healfdene Goguen
(0) Re: Exponentials in linear logic, Jean-Yves GIRARD
(0) Practical Soft Typing, Andrew Wright
(0) Final CFP: State in Programming Language, Uday S. Reddy
(0) SYMPOSIUM `The Influence of Automath', Jan Herman Geuvers
(0) FCT'95, Horst Reichel
(0) Extensions of Fsub with Decidable Typing, Serge Vorobyov
(0) MFPS Call for Papers, Michael Main
(0) ILPS '94 : Program and Registration Info, Kannan Govindarajan
(0) LICS'95 Call for Papers, Doug Howe
(0) Type reconstruction in F_\omega, Pawel Urzyczyn
(0) POPL95 Preliminary Program, Peter Lee
(0) Type reconstruction in F_\omega, Pawel Urzyczyn
(0) Chair in Computer Science, M.Z.Kwiatkowska
(0) BRICS positions, Uffe Engberg
(0) Request for Subscription to types list, Computer Science Theorynet
(0) Invitation to discuss the article "On Co, Peter Wegner
(0) Please publicize this in the types list, Peter Wegner
(0) Programs for Proof-nets, lphuang
(0) Paper announcement, Harold Schellinx
(0) Lambda Definability in Categorical Model, Andre Scedrov
(0) LLL, Jean-Yves GIRARD
(0) LLW is decidable, Sergei Artemov
(0) DIMACS Special Year on Logic and Complex, Andre Scedrov
(0) linear logic and databases, Serena.Cerrito
(0) ftpable papers on computing with linear , Henry G. Baker
(0) Decision Problems For Second Order Linea, Pat Lincoln
(0) A notation query, J Roger Hindley
(0) ILPS94 e-mail registration, Francesca Rossi
(0) No Subject, types-dist-request
(0) Paper announcement on OO type systems, Giuseppe.Castagna
(0) Home Page on Logical Frameworks, Frank Pfenning
(0) workshop announcement, Michael Huth
(0) CONSISTENCY PRESERVING UPDATES, Serena.Cerrito
(0) Notational query, J Roger Hindley
(0) LICS'95 Second Call for Papers, Amy Felty
(0) LOPSTR'95 preliminary call, Maurizio Proietti
(0) ftpable papers on computing with linear , Henry G. Baker
(0) Announce paper: Cockett & Seely, Robert A. G. Seely
(0) Announce paper: Mendler, Panangaden, Sco, Robert A. G. Seely
(0) Integrating concurrent, functional, and , Mourad.Debabi
(0) TLCA '95: Programme, Gordon Plotkin
(0) TLCA '95: Programme, Gordon Plotkin
(0) 11th ADT Workshop and 8th General Compas, Magne.Haveraaen
(0) Functional Programming and Input/Output, Andrew Gordon
(0) CS position in Uppsala, H}kan Millroth
(0) Call for Papers PLILP'95, PLILP'95 Conference
(0) Two papers on reducibility, Jean Gallier
(0) workshop announcement, ldpl95
(0) SIPL Advance Program, ohearn
(0) paper availbale by ftp, Jean-Yves GIRARD
(0) job announcement, Zena Matilde Ariola
(0) paper available by ftp, Jean Gallier
(0) announcement: consistence of Map Theory, berline
(0) paper available: New Proof Method for SN, Joe Wells
(0) Decision Problems For Second Order Linea, Yves LAFONT
(0) formal semantics of real-world programmi, Peter Baumann
(0) Parametricity and variants of Girard's J, John "C." Mitchell