Volume: Vol-3875 ARQNL 2024 | Year: 2024

Paper: « ARQNL2024_abstract1 | ARQNL2024_abstract2 | ARQNL2024_paper1 »

On the Computational Content of Intuitionistic Modal Proofs (invited talk abstract)

• Amirhossein Akbar Tabatabai dblp

5-5 PDF