Gérard Comyn

Publication Activity (10 Years)

Years Active: 1979-1983
Publications (10 Years): 0

Publications

Sophie Tison, Max Dauchet, Gérard Comyn
Metrical an Ordered Properties of Powerdomains. FCT (1983)
Gérard Comyn, Max Dauchet
Approximations of Infinitary Objects. ICALP (1982)
Gérard Comyn, G. Werner
Computable Data Types. MFCS (1979)