The zipper (1997)

by Gérard Huet, Inria Rocquencourt France
Venue:JFP