TYPES list archives

• CMU meeting on metadeduction Daniel.Leivant@theory.cs.cmu.edu
  
• [S2.CHB%ISUMVS.BITNET@MITVMA.MIT.EDU: Algebraic Logic and Universal Algebra in Computer Science] Albert R. Meyer <meyer@THEORY.LCS.MIT.EDU>
  
• Re: Type : Type goguen@csl.sri.com
  
• [mcvax!doc.ic.ac.uk!sa@uunet.UU.NET: Re: [meyer: TYPE:TYPE]] Albert R. Meyer <meyer@THEORY.LCS.MIT.EDU>
  
• [meyer: TYPE:TYPE] Albert R. Meyer <meyer@THEORY.LCS.MIT.EDU>
  
• [gunter@linc.cis.upenn.edu: Re: [mcvax!doc.ic.ac.uk!sa@uunet.UU.NET: Re: [meyer: TYPE:TYPE]]] Albert R. Meyer <meyer@THEORY.LCS.MIT.EDU>
  
• LICS logo and theorynet subscription Albert R. Meyer <meyer@THEORY.LCS.MIT.EDU>
  
• sub CCC's of Set jcm%research.att.com@RELAY.CS.NET
  
• Churchian integers in PER Edmund Robinson <epr%computer-lab.cambridge.ac.uk@NSS.Cs.Ucl.AC.UK>
  
• [meyer: TYPE:TYPE] Albert R. Meyer <meyer@THEORY.LCS.MIT.EDU>
  
• [NIKHIL@XX.LCS.MIT.EDU: ML Compiler: informal talk by Dave MacQueen] Albert R. Meyer <meyer@THEORY.LCS.MIT.EDU>
  
• new address jcm%research.att.com@RELAY.CS.NET
  
• [coraki!pratt@sun.com: Wednesday seminar: Dynamic Types] Albert R. Meyer <meyer@THEORY.LCS.MIT.EDU>
  
• [mcvax!doc.ic.ac.uk!sa@uunet.UU.NET: Re: [meyer: TYPE:TYPE]] Albert R. Meyer <meyer@THEORY.LCS.MIT.EDU>