An axiomatic semantics for the synchronous language Gentzen.
scientific article; zbMATH DE number 1963842
scientific article