The following pages link to Thomas Ehrhard (Q195006):
Displaying 50 items.
- A relational semantics for parallelism and non-determinism in a functional setting (Q408545) (← links)
- The Scott model of linear logic is the extensional collapse of its relational model (Q418011) (← links)
- Probabilistic coherence spaces as a model of higher-order probabilistic computation (Q550253) (← links)
- (Q860834) (redirect page) (← links)
- Differential interaction nets (Q860836) (← links)
- Uniformity and the Taylor expansion of ordinary lambda-terms (Q944386) (← links)
- Interpreting a finitary pi-calculus in differential interaction nets (Q979075) (← links)
- Sequentiality in an extensional framework (Q1327380) (← links)
- Parallel and serial hypercoherences (Q1583243) (← links)
- A theory of sequentiality (Q1802073) (← links)
- A relative PCF-definability result for strongly stable functions and some corollaries (Q1854294) (← links)
- The differential lambda-calculus (Q1884894) (← links)
- Projecting sequential algorithms on strongly stable functions (Q1919532) (← links)
- On phase semantics and denotational semantics in multiplicative-additive linear logic (Q1971797) (← links)
- Non-idempotent intersection types in logical form (Q2200821) (← links)
- A calculus of branching processes (Q2286743) (← links)
- Acyclic solos and differential interaction nets (Q2786128) (← links)
- Call-By-Push-Value from a Linear Logic Point of View (Q2802478) (← links)
- Full abstraction for resource calculus with tests (Q2915676) (← links)
- The Free Exponential Modality of Probabilistic Coherence Spaces (Q2988358) (← links)
- Incremental Update for Graph Rewriting (Q2988640) (← links)
- Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion (Q3166224) (← links)
- Categorical Models for Simply Typed Resource Calculi (Q3178254) (← links)
- Interpreting a Finitary Pi-calculus in Differential Interaction Nets (Q3525647) (← links)
- Exponentials with Infinite Multiplicities (Q3586041) (← links)
- Resource Combinatory Algebras (Q3586087) (← links)
- A Relational Model of a Parallel and Non-deterministic λ-Calculus (Q3605523) (← links)
- Not Enough Points Is Enough (Q3608420) (← links)
- (Q3784072) (← links)
- (Q4036551) (← links)
- (Q4218922) (← links)
- (Q4263861) (← links)
- (Q4282565) (← links)
- Localisation and interaction in one dimension (Q4286525) (← links)
- (Q4513578) (← links)
- Full Abstraction for Probabilistic PCF (Q4561511) (← links)
- An introduction to differential linear logic: proof-nets, models and antiderivatives (Q4577980) (← links)
- (Q4611384) (← links)
- A new correctness criterion for MLL proof nets (Q4635623) (← links)
- (Q4649551) (← links)
- On Köthe sequence spaces and linear logic (Q4792972) (← links)
- (Q4842969) (← links)
- (Q4904081) (← links)
- (Q4992396) (← links)
- (Q5089018) (← links)
- Dictoses (Q5096262) (← links)
- (Q5101335) (← links)
- Cones as a model of intuitionistic linear logic (Q5145648) (← links)
- (Q5150151) (← links)
- A completeness theorem for symmetric product phase spaces (Q5311727) (← links)
