Pages that link to "Item:Q2866803"
From MaRDI portal
The following pages link to Reduction and Conversion Strategies for the Calculus of (co)Inductive Constructions: Part I (Q2866803):
Displayed 1 item.
The following pages link to Reduction and Conversion Strategies for the Calculus of (co)Inductive Constructions: Part I (Q2866803):
Displayed 1 item.