CONFER-2 CONcurrency and Functions: Evaluation and Reduction Working Group Project Number: 21836 graphnewbox
graphtempnewdimen ==.5exby 0.197in to 0pt=.5exby 0.053in to 0pt=.5exby 0.000in to 0pt=.5exby 0.053in to 0pt=.5exby 0.197in to 0pt=.5exby 0.394in to 0pt=.5exby 0.591in to 0pt=.5exby 0.735in to 0pt=.5exby 0.787in to 0pt=.5exby 0.735in to 0pt=.5exby 0.591in to 0pt=.5exby 0.394in to 0ptdepth0.787in width0pt height 0pt
Next: Contents
CONFER-2
CONcurrency and Functions:
Evaluation and Reduction
Working Group
Project Number: 21836
Periodic Progress Report
December, 1997
1/10/1998
-calculus