Richiedi una copia del documento: On the formalization of the modal mu-calculus in the calculus of inductive constructions

Captcha code
Annulla