Anthony M. Ungar

Œuvres (1)

Couverture : Normalization, cut-elimination, and the theory of proofs

Normalization, cut-elimination, and the theory of proofs

1992