Mail Thread Index

• Main Index

• (0) The theorem-prover Isabelle, Larry Paulson
• (0) Term Rewriting Workshop June 11-14, 1990, ctrs90
• (0) LICS '90 Preliminary Program, John C. Mitchell
• (0) Note on graph vs. term reduction, John C. Mitchell
• (0) Note on graph vs. term reduction, John C. Mitchell
• (0) Re: note on graph vs. term reduction, Gyorgy Revesz
• (0) Re: Note on graph vs. term reduction, Richard Kennaway
• (0) Complexity questions on linear logic, John C. Mitchell
• (0) Complexity questions on linear logic, gunter
• (0) Complexity questions on linear logic, gunter
• (0) Re: Note on graph vs. term reduction, watro
• (0) re: Complexity questions on linear logic, Vladimir Lifschitz
• (0) icdt, pck
• (0) Yet another talk on OO prog, Albert R. Meyer
• (0) Category Theory Bulletin Board, RROSEBRUGH
• (0) Decision problems for propositional line, John C. Mitchell
• (0) Decision problems for propositional line, Natarajan Shankar
• (0) Workshop: Structuring Disciplines for Lo, Dale Miller
• (0) Workshop on Linear Logic, Petri Nets, et, George Cleland
• (0) Short Course at UBC: Cambridge HOL Syste, Jeffrey Joyce
• (0) LICS '90, LICS
• (0) query on petri nets & OOP, Scott Aiyer
• (0) LICS 1990 attendance survey, Albert R. Meyer
• (0) CTRS '90 announcement, okada
• (0) CTRS '90 (Program), ctrs90
• (0) LICS '90, EARLY REGISTRATION DEADLINE, jean
• (0) Conference on CATEGORY THEORY AND COMPUT, Pierre-Louis Curien
• (0) On confluence of simply typed Beta, Pierre-Louis Curien
• (0) Isabelle available by FTP, Larry Paulson
• (0) CTRS '90, reservation date change, ctrs90
• (0) ``Clausal Theory of Types'' from Cambrid, David.Wolfram%prg.oxford.ac.uk
• (0) what are dependent types??, Larry Paulson
• (0) Lower bound on System F typability, Fritz Henglein
• (0) Re: what are dependent types??, ap%computer-lab.cambridge.ac.uk
• (0) LICS: please respond, LICS
• (0) Continuations Forum, Jon Riecke
• (0) Re: what are dependent types? (reply to , Tom Thomson
• (0) Continuations Forum, Jon Riecke
• (0) LICS '91 Call for Papers, Albert R. Meyer
• (0) ALGEBRAIC AND LOGIC PROGRAMMING, Pierre Lescanne
• (0) Commutative Diagrams in La/TeX, Paul Taylor
• (0) Greatest fixpoints have existential type, Philip Wadler
• (0) Response to Wadler: Greatest fixpoints h, Ryu Hasegawa
• (0) Call for papers: MFPS91, Stephen.Brookes
• (0) Proceedings on Logical Frameworks: avail, Gerard Huet
• (0) Proceedings on Logical Frameworks: avail, David M. Jones
• (0) commutative diagrams formatting package, Paul Taylor
• (0) Re: commutative diagrams formatting pack, pratt
• (0) Re: commutative diagrams formatting pack, ap
• (0) commutative diagrams formatting package, gunter
• (0) ISABELLE USERS EMAIL FORUM, lcp
• (0) SIGACT news, John C. Mitchell
• (0) PER's and operational semantics, gunter
• (0) Lecture by Harry Mairson: Complexity of , theory-seminars-request
• (0) Re: PER's and operational semantics, John C. Mitchell
• (0) PER's and operational semantics, gunter
• (0) Extensions to Theory of Constructions (7, Jonathan P. Seldin
• (0) Fixed Points in Synthetic Domain Theory, Paul Taylor
• (0) Excluded middle w/o definite description, stefano%ITOINFO.BITNET
• (0) Action logic paper, Vaughan Pratt
• (0) Op. Sem. query, Rance Cleaveland
• (0) MFCS'91, Don Sannella
• (0) Computational interpretations of Linear , Samson Abramsky
• (0) LaTeX version of article, Jonathan P. Seldin
• (0) Notice of meeting, R.A.G. Seely
• (0) A little linear logic observation about , Paul Taylor
• (0) Summerschool on Lambda Calculus, Jul 8-1, Henk Barendregt