TYPES list archives
Last update: Wed Feb 05 18:52:32 97
14 messages
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>