-
Nested Deduction in Logical Foundations for Computation
This thesis investigates the use of deep inference formalisms as basis for a computational interpretation of proof systems, following the two main approaches:... -
$\rho$-Calculus. Its Syntax and Basic Properties
Rapport interne.
