Labeling techniques and typed fixed-point operators

• Authors:

• J. C. Mitchell;M. Hoang;B. T. Howard

• Affiliations:

• -;-;-

• Venue:
• Higher order operational techniques in semantics
• Year:
• 1999