Denis Cousineau

1. TLA+ Proofs
   2012/08/29 by Denis Cousineau, Damien Doligez, Cousineau, Denis +9 · 4 citations
   Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Model-Driven Software Engineering Techniques
2. Is perfectionism a killer of creative thinking? A test of the model of excellencism and perfectionism
   2021/09/01 by Jean‐Christophe Goulet‐Pelletier, Patrick Gaudreau, Denis Cousineau · 2 citations
   Psychology · Neuroscience · #Perfectionism, Procrastination, Anxiety Studies #Creativity in Education and Neuroscience #Mind wandering and attention