Jamie Vicary: "Categorical syntax for concurrency"

Jamie Vicary: "Categorical syntax for concurrency"See more

Jamie Vicary: 'Categorical syntax for concurrency'

Jamie Vicary: A 2-categorical formalism for quantum formationSee more

Jamie Vicary: A 2-categorical formalism for quantum formation

Data Structures for Quasistrict Higher CategoriesSee more

Data Structures for Quasistrict Higher Categories

Jamie Vicary, A type theory for strictly unital infinity-categoriesSee more

Jamie Vicary, A type theory for strictly unital infinity-categories

Jamie Vicary: "The Logical Landscape"See more

Jamie Vicary: 'The Logical Landscape'

ACT2018: Jamie Vicary, Christina Vasilakopoulou, Spencer BreinerSee more

ACT2018: Jamie Vicary, Christina Vasilakopoulou, Spencer Breiner

Jamie Vicary – Introducing homotopy.io: A proof assistant for geometrical higher category theorySee more

Jamie Vicary – Introducing homotopy.io: A proof assistant for geometrical higher category theory

Chris Heunen and Jamie Vicary: "Categorical quantum mechanics", Lecture 4See more

Chris Heunen and Jamie Vicary: 'Categorical quantum mechanics', Lecture 4

Generative Syntax 1.3: Constituent RecursionSee more

Generative Syntax 1.3: Constituent Recursion

Glimpse at Java 20: Pattern Matching, Concurrent Programming and Valhalla - Inside Java Newscast #38See more

Glimpse at Java 20: Pattern Matching, Concurrent Programming and Valhalla - Inside Java Newscast #38

DConf '22: Structured Concurrency -- Sebastiaan KoppeSee more

DConf '22: Structured Concurrency -- Sebastiaan Koppe

Staged Concurrent Program AnalysisSee more

Staged Concurrent Program Analysis

Overview of Concurrency ConceptsSee more

Overview of Concurrency Concepts

RTS - ConcurrencySee more

RTS - Concurrency

Simon Marlow - Haxl A Big Hammer for Concurrency - Code Mesh 2017See more

Simon Marlow - Haxl A Big Hammer for Concurrency - Code Mesh 2017

"Haxl: A Big Hammer for Concurrency" by Simon MarlowSee more

'Haxl: A Big Hammer for Concurrency' by Simon Marlow

News