Pages that link to "Item:Q2942921"

The following pages link to Coercive subtyping for the calculus of constructions (Q2942921):

Displaying 2 items.

• Analytic proof systems for \(\lambda\)-calculus: the elimination of transitivity, and why it matters (Q884953) (← links)
• Working with Mathematical Structures in Type Theory (Q3499757) (← links)