Pages that link to "Item:Q2988646"

The following pages link to Metric Reasoning About $$\lambda $$-Terms: The General Case (Q2988646):

Displaying 7 items.

• A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces (Q831141) (← links)
• SOS specifications for uniformly continuous operators (Q1678172) (← links)
• Differential logical relations. II: Increments and derivatives (Q2664934) (← links)
• Metric Reasoning About $$\lambda $$-Terms: The General Case (Q2988646) (← links)
• (Q5089018) (← links)
• Differential logical relations, Part I: The simply-typed case (Q5091273) (← links)
• The syntactic side of autonomous categories enriched over generalised metric spaces (Q6178714) (← links)