Article View: fj.ai
Article #861Re: equality
From: Hideyuki Nakashima
Date: Fri, 05 Feb 1993 02:08
Date: Fri, 05 Feb 1993 02:08
12 lines
1133 bytes
1133 bytes
In article <1993Feb5.013823.28557@etl.go.jp> yoshiki@etl.go.jp (KINOSHITA Yoshiki) writes: $@IaDL!"JQ?t(J$@$NCV$-49$($H$$$&$H&K(J-calculus $@$G$$$&(J $@&A(J-conversion $@$N$3$H$r(J $@$$$$$^$9!#(J renaming ? -- Hideyuki Nakashima Cooperative Architecture Electrotechincal Lab.
Technical Details
Message-ID:
<NAKASHIM.93Feb5110855@uranus.etl.go.jp>Path:
arc1-ca.pugleaf.net!sparky!uunet!ccut!news.u-tokyo.ac.jp!wnoc-tyo-news!etl.go.jp!etlss2!nakashimReferences:
<1993Feb3.043301.6557@CSD-NewsHost.Stanford.EDU> <1993Feb3.175858.21619@etl.go.jp> <1993Feb3.201423.18351@CSD-NewsHost.Stanford.EDU> <1993Feb5.013823.28557@etl.go.jp>Show Full Headers
Complete Article Headers
X-Google-Language: Japanese,JIS X-Google-Thread: 155634,e9347125f0feaac X-Google-Attributes: gid155634,public X-Google-ArrivalTime: 1993-02-05 06:44:07 PST Newsgroups: fj.ai Path: arc1-ca.pugleaf.net!sparky!uunet!ccut!news.u-tokyo.ac.jp!wnoc-tyo-news!etl.go.jp!etlss2!nakashim From: nakashim@etl.go.jp (Hideyuki Nakashima) Subject: Re: equality In-Reply-To: yoshiki@etl.go.jp's message of Fri, 5 Feb 1993 01: 38:23 GMT Message-ID: <NAKASHIM.93Feb5110855@uranus.etl.go.jp> Sender: news@etl.go.jp (News System) Nntp-Posting-Host: uranus Organization: Electrotechnical Laboratory References: <1993Feb3.043301.6557@CSD-NewsHost.Stanford.EDU> <1993Feb3.175858.21619@etl.go.jp> <1993Feb3.201423.18351@CSD-NewsHost.Stanford.EDU> <1993Feb5.013823.28557@etl.go.jp> Distribution: fj Date: Fri, 5 Feb 1993 02:08:55 GMT Lines: 14