Carrés exacts et carrés déductifs
Page 1
Displaying 1 – 5 of 5
Catégories de Peano et catégories algorithmiques, récursivité
L. Coppey (1984)
Diagrammes
Categories with Ultraproducts
Robert Fittler (1973)
Commentarii mathematici Helvetici
Category theory based on combinatory logic.
M.W. Bunder (1984)
Archiv für mathematische Logik und Grundlagenforschung
Coherence of Proof-net Categories
Kosta Došen, Zoran Petrić (2005)
Publications de l'Institut Mathématique
Currently displaying 1 – 5 of 5
Page 1