Pages that link to "Item:Q672044"

The following pages link to Filter models for conjunctive-disjunctive \(\lambda\)-calculi (Q672044):

Displaying 9 items.

• A relational semantics for parallelism and non-determinism in a functional setting (Q408545) (← links)
• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
• Infinite \(\lambda\)-calculus and types (Q1275621) (← links)
• Discrimination by parallel observers: the algorithm. (Q1854269) (← links)
• A Fully Abstract Model for Mobile Ambients (Q2841277) (← links)
• What is a categorical model of the differential and the resource λ-calculi? (Q2888856) (← links)
• Call-by-Value Non-determinism in a Linear Logic Type Discipline (Q3455843) (← links)
• A Relational Model of a Parallel and Non-deterministic λ-Calculus (Q3605523) (← links)
• 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 (Q3616431) (← links)