La lecture à portée de main
Auteur
Suivre Francois Lamarche
Documents
March This is an expanded version of the LICS'05 submission Mistakes have been corrected and the relative emphasis of axioms has changed but the claims are strictly identical
Francois Lamarche
Documents
Etudes supérieures
March This is an expanded version of the LICS'05 submission Mistakes have been corrected and the relative emphasis of axioms has changed but the claims are strictly identical
Francois Lamarche
17 pages
English