An Ad-Hoc Semantics to Study Structural Properties of Types

DOI10.1142/9789811236488_0007OpenAlexW3188594010MaRDI QIDQ5081873

Roberta Bonacina, Marco Benini

Publication date: 17 June 2022

Published in: Proof and Computation II (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/9789811236488_0007

Mathematics Subject Classification ID

General logic (03Bxx) Mathematical logic and foundations (03-XX) Proof theory and constructive mathematics (03Fxx) Computability and recursion theory (03Dxx)

Related Items (1)

$L'$-localization in an $\infty$-topos

This page was built for publication: An Ad-Hoc Semantics to Study Structural Properties of Types