Publication
-
Primality proving with cyclotomy Dissertation
December 1990 -
Discretization of morphological operators Tech Report
January 1991
-
January 1991 -
Datatype laws without signatures Tech Report
January 1991
-
Calculate categorically ! Tech Report
January 1991
-
CCS for OO and LP Tech Report
January 1991
-
A proof theory for the language POOL Tech Report
January 1991
-
A pointwise criterion for controller robustness Tech Report
January 1991