Björn von Sydow

Publication Activity (10 Years)

Years Active: 1994-1994
Publications (10 Years): 0

Publications

Thierry Coquand, Bengt Nordström, Jan M. Smith, Björn von Sydow
Type Theorie Programming. Bull. EATCS 52 (1994)