Items where authors include "Massacrier, T."

[up] Up a level
Jump to: Article
Number of items: 1.

Article

Malbos, P., Massacrier, T. and Struth, G. (2024) Single-set cubical categories and their formalisation with a proof assistant. Journal of Automated Reasoning, 68 (4). 20. ISSN 0168-7433

This list was generated on Wed Apr 2 14:39:32 2025 BST.