Induction–recursion and initial algebras
Date first appeared online 15/08/2003
DOI 10.1016/S0168-0072(02)00096-9
Authors Setzer A.
Journal Name Annals of Pure and Applied Logic
Volume 124

Documents