Proofs and surfaces

Marina Milicevic (1) , Djordje Baralic (1) , Jovana Obradovic (1) , Zoran Petric (1) , Mladen Zekic (1) , Rade Zivaljevic (1) , Pierre-Louis Curien (2, 3)

1 SASA - Serbian Academy of Sciences and Arts
2 IRIF (UMR_8243) - Institut de Recherche en Informatique Fondamentale
3 PI.R2 - Design, study and implementation of languages for proofs and programs

Domaines: Logique en informatique [cs.LO]; Logique [math.LO]; Topologie algébrique [math.AT]; Combinatoire [math.CO]

Marina Milicevic, Djordje Baralic, Jovana Obradovic, Zoran Petric, Mladen Zekic, et al.. Proofs and surfaces. Annals of Pure and Applied Logic, 2020, 171 (9), ⟨10.1016/j.apal.2020.102845⟩. ⟨hal-02410910⟩