Course notes

 

 

 

. Théorie des types.
. Proofs in theories, MPRI.
. Démonstration automatique, École Nationale Supérieure de Techniques Avancées.
back to home page