Nr. 15 (2001): RS-15 A Calculus of Circular Proofs and its Categorical Semantics

Publiceret: 2001-05-15

Artikler