302 articles – 345 Notices  [english version]
.:. Consultation > Liste par domaine > Logique .:.
58 documents classés par :
1 - 2 - 3 - 4 Page Suivante Page Finale
fulltext access Delimited control operators prove Double-negation Shift
Ilik D.
Annals of Pure and Applied Logic 163, 11 (2012) 1549-1559 [hal-00647389 - version 1]
fulltext access Continuation-passing Style Models Complete for Intuitionistic Logic
Ilik D.
Annals of Pure and Applied Logic (2012) [hal-00647390 - version 3]
fulltext access Realizability algebras II : new models of ZF + DC
Krivine J.-L.
Logical Methods in Computer Science 8, 1 (2012) 10 [hal-00497587 - version 1]
fulltext access A synthetic axiomatization of Map Theory
Berline C., Grue K.
[hal-00678410 - version 1] (2012-03-12)
fulltext access Proofs as Tree Languages
Hetzl S.
Research report [hal-00613713 - version 1]
Girard's Festschrift, Theoretical Computer Science (Volume 412, Issue 20)
Ehrhard T., Faggian C., Laurent O.
(2011) 240 [hal-00589711 - version 1]
Game semantics for first-order logic
Laurent O.
Logical Methods in Computer Science (LMCS) 6, 4 (2010) 3 [hal-00528528 - version 1]
Acyclic Solos and Differential Interaction Nets
Ehrhard T., Laurent O.
Logical Methods in Computer Science (LMCS) 6, 3 (2010) 11 [hal-00516609 - version 1]
fulltext access A Sequent Calculus with Implicit Term Representation
Hetzl S.
In Computer Science Logic (CSL) 2010 - Computer Science Logic (CSL) 2010, Czech Republic (2010) [hal-00498707 - version 1]
fulltext access Kripke Models for Classical Logic
Ilik D., Lee G., Herbelin H.
Annals of Pure and Applied Logic 161, 11 (2010) 1367-1378 [inria-00371959 - version 4]
Interpreting a finitary pi-calculus in differential interaction nets
Ehrhard T., Laurent O.
Information and Computation 208, 6 (2010) 606--633 [hal-00483780 - version 1]
fulltext access A convenient differential category
Blute R., Ehrhard T., Tasson C.
[hal-00492424 - version 1] (15/06/2010)
An exact correspondence between a typed pi-calculus and polarised proof-nets
Honda K., Laurent O.
Theoretical Computer Science 411, 22--24 (2010) 2223--2238 [hal-00483227 - version 1]
fulltext access On the form of witness terms
Hetzl S.
Archive for Mathematical Logic 49, 5 (2010) 529-554 [hal-00498696 - version 1]
fulltext access Transport of finiteness structures and applications
Tasson C., Vaux L.
[hal-00475004 - version 1] (21/04/2010)