Taus Brock-Nannestad

Available identifiers

zbMath Open brock-nannestad.tausMaRDI QIDQ2798263

List of research outcomes

Publication	Date of Publication	Type
Cut elimination in multifocused linear logic	2021-12-06	Paper
An intuitionistic formula hierarchy based on high‐school identities	2020-05-06	Paper
Multi-focused cut elimination	2018-04-25	Paper
Focused linear logic and the \(\lambda\)-calculus	2016-12-16	Paper
Space-efficient planar acyclicity constraints. A declarative pearl	2016-04-04	Paper
An Intuitionistic Formula Hierarchy Based on High-School Identities	2016-01-19	Paper
Disproving using the inverse method by iterative refinement of finite approximations	2015-12-11	Paper
Truthful Monadic Abstractions	2012-09-05	Paper
Focused natural deduction	2010-10-12	Paper

Research outcomes over time

This page was built for person: Taus Brock-Nannestad