Re: Barendregt was right after all ... almost

• To: vester@iml.univ-mrs.fr
• Subject: Re: Barendregt was right after all ... almost
• From: "ian a. mason" <iam@turing.une.edu.au>
• Date: Sat, 14 Apr 2001 10:25:25 +1000
• CC: rewriting@ens-lyon.fr, types@cis.upenn.edu
• References: <200104131147.f3DBlMO26989@saul.cis.upenn.edu>
• Reply-to: iam@turing.une.edu.au

My student Jonathan Ford formalized CR using a single sort of named
variables in PVS. His proof and the paper describing it is avaliable
from

http://mcs.une.edu.au/~pvs



-- 
	Dr Ian A. Mason.
        Convener and Postgraduate Coordinator
        Computer Science Division
	School of Mathematical & Computer Sciences
	University of New England
	Armidale    2351
	N.S.W  
	Australia

	phone:  +61 (0)2 6773 2327 
	fax:    +61 (0)2 6773 3312 
	iam@turing.une.edu.au
        http://mcs.une.edu.au/~iam/

• Prev: Barendregt was right after all ... almost
• Next: Foundational Methods in Computer Science Workshop (FMCS'01)
• Index(es):
  • Main
  • Thread