[PL-sem-jr] [jbw@macs.hw.ac.uk: [TYPES] Re: terminology for different kinds of proof terms?]

[Richard Cobbe]

This is the same message that Carl just posted, but converted to plain
ASCII for those of us whose mailers can't deal with UTF-8 yet.

Richard
-------------- next part --------------
An embedded message was scrubbed...
From: Joe Wells <jbw at macs.hw.ac.uk>
Subject: [TYPES] Re: terminology for different kinds of proof terms?
Date: 27 Jan 2005 14:30:52 +0000
Size: 9344
Url: https://lists.ccs.neu.edu/pipermail/pl-sem-jr/attachments/20050128/e4c08e92/attachment.eml