Skip to content

Fixed Points of Type Constructors and Primitive Recursion.

Andreas Abel, Ralph Matthes

VenueBCSL
Year2004
ProceedingsCSL

Browse the full CSL paper archive.