Mathematical Structures in Computer Science

Journal Article

G. Barthe

M.J. Frade

E. Giménez

L. Pinto

T. Uustalu

Publication

Year of publication: 2004

Volume: 14

Issue: 1

Pages: 97-141

Identifiers

Other: 2-s2.0-84855618972

Locators

DOI: 10.1017/S0960129503004122

Alternative Titles