The following pages link to Pierre-Louis Curien (Q418199):
Displaying 50 items.
- An approach to innocent strategies as graphs (Q418201) (← links)
- Preface to the special volume (Q534064) (← links)
- (Q804280) (redirect page) (← links)
- An abstract framework for environment machines (Q804281) (← links)
- Alpha conversion, conditions on variables and categorical logic (Q913792) (← links)
- Computational self-assembly (Q953541) (← links)
- The categorical abstract machine (Q1097043) (← links)
- Partiality, cartesian closedness, and toposes (Q1121368) (← links)
- (Q1170879) (redirect page) (← links)
- Sequential algorithms on concrete data structures (Q1170880) (← links)
- Formal parametric polymorphism (Q1314344) (← links)
- Decidability and confluence of \(\beta\eta\text{top}_ \leqslant\) reduction in \({\mathbb{F}}_ \leqslant\) (Q1322474) (← links)
- Fully abstract semantics for observably sequential languages (Q1327401) (← links)
- On infinite \(\eta\)-expansion (Q1598516) (← links)
- A short scientific biography of Maurice Nivat (Q1605477) (← links)
- Free algebraic structures on the permutohedra (Q2012030) (← links)
- Proofs and surfaces (Q2195640) (← links)
- Revisiting the categorical interpretation of dependent type theory (Q2253180) (← links)
- Categorified cyclic operads (Q2303776) (← links)
- Syntactic aspects of hypergraph polytopes (Q2631920) (← links)
- Coherent presentations of monoids with a right-Noetherian Garside family (Q2690068) (← links)
- Preface to Locus Solum (Q2732137) (← links)
- Strong normalization of substitutions (Q2785671) (← links)
- A theory of effects and resources: adjunction models and polarised calculi (Q2828243) (← links)
- Definability and Full Abstraction (Q2864154) (← links)
- The duality of computation (Q2943375) (← links)
- (Q3024821) (← links)
- (Q3075443) (← links)
- A formal language for cyclic operads (Q3121012) (← links)
- (Q3138537) (← links)
- (Q3142163) (← links)
- The Duality of Computation under Focus (Q3163882) (← links)
- Operads, Clones, and Distributive Laws (Q3189705) (← links)
- (Q3201049) (← links)
- (Q3400624) (← links)
- (Q3506860) (← links)
- The Joy of String Diagrams (Q3540167) (← links)
- (Q3564946) (← links)
- (Q3703897) (← links)
- (Q3714049) (← links)
- (Q3714050) (← links)
- (Q3721820) (← links)
- (Q3741042) (← links)
- Categorical combinators (Q3745827) (← links)
- (Q3756499) (← links)
- (Q3785893) (← links)
- (Q3805878) (← links)
- Coherence of subsumption, minimum typing and type-checking in F ≤ (Q4005456) (← links)
- (Q4027624) (← links)
- (Q4036571) (← links)
