Syntax and Models of a non-Associative Composition of Programs and Proofs. (Syntaxe et modèles d'une composition non-associative des programmes et des preuves)
- authors: Guillaume Munch-Maccagnoni
- year: 2013
- url: https://tel.archives-ouvertes.fr/tel-00918642
- publisher:
- abstract: