Vol-3874⫷ Vol-3875 ⫸Vol-3876
urn:nbn:de:0074-3875-0


Vol-3875/ARQNL2024_abstract1⫷Vol-3875/ARQNL2024_abstract2⫸Vol-3875/ARQNL2024_paper1

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