La lecture à portée de main
Auteur
Suivre Stéphane Lengrand2
Documents
Strong Normalisation of Cut Elimination that Simulates Reduction
Stéphane Lengrand2
Documents
Etudes supérieures
Strong Normalisation of Cut Elimination that Simulates Reduction
Stéphane Lengrand2
15 pages
English