Published 2001 | Version v1

Publication Metadata-only

Proofs as computations in linear logic

Creators: DELZANNO, GIORGIO; MARTELLI, MAURIZIO

Others:: Delzanno, Giorgio; Martelli, Maurizio

Additional details

Created:: March 31, 2023
Modified:: December 1, 2023