16164 articles – 32656 references  [version française]
.:. Browse > List by subject > Category Theory .:.
7 documents ordered by :
fulltext access Towards a Theory of Proofs of Classical Logic
Straßburger L.
Université Paris-Diderot - Paris VII (2011-01-07), Gilles Dowek (Pr.) [tel-00772590 - version 1]
fulltext access A Non-Standard Semantics for Kahn Networks in Continuous Time
Beauxis R., Mimram S.
Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL, Norway (2011) [inria-00616968 - version 1]
fulltext access Constructively Finite?
Spiwack A., Coquand T.
Dans Contribuciones científicas en honor de Mirian Andrés Gómez (2010) 217-230 [inria-00503917 - version 1]
fulltext access Harder-Narasimhan categories
Chen H.
[hal-00155665 - version 2] (2007-06-29)
fulltext access Towards Constructive Homological Algebra in Type Theory
Coquand T., Spiwack A.
In CALCULEMUS 2007 - CALCULEMUS 2007, Austria (2007) [inria-00432525 - version 1]
fulltext access What could a Boolean category be?
Straßburger L.
Classical Logic and Computation 2006 (ICALP Workshop), (2006) [inria-00130504 - version 1]
fulltext access On the Axiomatisation of Boolean Categories with and without Medial
Straßburger L.
(2006) [inria-00130508 - version 1]