Pages that link to "Item:Q2938180"

The following pages link to Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi (Q2938180):

Displaying 2 items.

• A linear/producer/consumer model of classical linear logic (Q4637629) (← links)
• (Q5015209) (← links)