Abstract Categorical Logic - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Logica Universalis Année : 2023

Abstract Categorical Logic

Logique catégorielle abstraite

Fichier non déposé

Dates et versions

hal-04491095 , version 1 (05-03-2024)

Identifiants

Citer

Marc Aiguier, Isabelle Bloch. Abstract Categorical Logic. Logica Universalis, 2023, 17 (1), pp.23-67. ⟨10.1007/s11787-022-00320-w⟩. ⟨hal-04491095⟩
14 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More