⏚ Antoine Chambert-Loir on Nostr: nprofile1q…9xuzd Do you have references to understand Artin glueing in computer ...
nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqjd874v63430gng67kpw5m597f34dr9vr0yhkp8dkmnma8208raysj9xuzd (nprofile…xuzd) Do you have references to understand Artin glueing in computer science / type theory?