Pages that link to "Item:Q805221"

The following pages link to Retractions of dI-domains as a model for Type:Type (Q805221):

Displaying 6 items.

• Forcing in stable models of untyped \(\lambda\)-calculus (Q698623) (← links)
• Categorical models of polymorphism (Q1193592) (← links)
• On functions preserving levels of approximation: A refined model construction for various lambda calculi (Q1275633) (← links)
• Building continuous webbed models for system F (Q1826624) (← links)
• A full continuous model of polymorphism (Q1853594) (← links)
• Rétractions et interprétation interne du polymorphisme : le problème de la rétraction universelle (Q3991293) (← links)