Pages that link to "Item:Q4882489"
From MaRDI portal
The following pages link to Fibrations with indeterminates: contextual and functional completeness for polymorphic lambda calculi (Q4882489):
Displaying 9 items.
- Monoidal indeterminates and categories of possible worlds (Q418809) (← links)
- Simply-typed underdeterminism (Q1273067) (← links)
- Structural induction and coinduction in a fibrational setting (Q1275820) (← links)
- Some properties of Fib as a fibred \(2\)-category (Q1295672) (← links)
- On the semantics of the universal quantifier (Q1371430) (← links)
- Monoidal indeterminates and categories of possible worlds (Q2805149) (← links)
- Decomposing typed lambda calculus into a couple of categorical programming languages (Q5057475) (← links)
- System F i (Q5300891) (← links)
- Elementary control structures (Q6104369) (← links)