Skip to content

Complete Axioms for Categorical Fixed-Point Operators.

Alex K. Simpson, Gordon D. Plotkin

VenueA*LICS
Year2000
ProceedingsLICS

Browse the full LICS paper archive.