ASCEND
BY NTHRYS

NTHRYS › PhD Assistance › Logic

Logic

Field
▾
Category
▾

Logic

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Linear Logic and Resource Sensitivity

Investigates substructural logic treating propositions as consumable resources with applications to programming and process calculi.

Resource Accounting in Concurrent Linear Processes
Exponential Modalities and Computational Complexity Boundaries
Linear Logic for Quantum Information Flow
Proof Nets and Optimal Reduction Strategies
Substructural Type Systems in Distributed Computing
Bunched Logic and Separation Reasoning Frontiers
Linear Lambda Calculus and Memory Management
Multiplicative Structure in Non-Commutative Logics
Resource Polymorphism in Dependent Type Theory
Ordered Logic and Sequential Constraint Propagation

All Logic PhD categories