2 results  save search


...
hal-00783654v1  Conference papers
David ChemouilSergei Soloviev. Remarks on isomorphisms of simple inductive types
Mathematics, Logic and Computation (Satellite Event of ICALP 2003, in honor of N. G. de Bruijn's 85th birthday), Jun 2003, Eindhoven, Netherlands. pp.106-124, ⟨10.1016/S1571-0661(04)80760-6⟩