Skip to content

A Confluence Result for a Typed lambda-Calculus of Exception Handling with Fixed-Point.

Catherine Pilire

VenueBFCT
Year1999
ProceedingsFCT

Browse the full FCT paper archive.