An Extension of the Formulas-as-Types Paradigm

DOI10.1017/S0012217300009288zbMath0923.03045OpenAlexW2049866628MaRDI QIDQ4252864

No author found.

Publication date: 28 October 1999

Published in: Dialogue (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0012217300009288

zbMATH Keywords

type theoryfunctional completenessdeductive systemrefutationsformulas-as-types paradigmGentzen sequents with zero formulas

Mathematics Subject Classification ID

Logic in computer science (03B70)

This page was built for publication: An Extension of the Formulas-as-Types Paradigm