Skip to content

On the Computational Interpretation of Negation.

Michel Parigot

VenueBCSL
Year2000
ProceedingsCSL

Browse the full CSL paper archive.