Pages that link to "Item:Q909439"

The following pages link to A functional programming approach to the specification and verification of concurrent systems (Q909439):

Displaying 3 items.

• Formal neighbourhoods, combinatory Böhm trees, and untyped normalization by evaluation (Q651316) (← links)
• Realizability interpretation of coinductive definitions and program synthesis with streams (Q1314420) (← links)
• Defining concurrent processes constructively (Q1314421) (← links)