Skip to Main content Skip to Navigation


...
tel-01589656v1  Theses
Régis Spadotti. A mechanized theory of regular trees in dependent type theory
Mathematical Software [cs.MS]. Université Paul Sabatier - Toulouse III, 2016. English. ⟨NNT : 2016TOU30178⟩