Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Laurent, Olivier
Quatrini, Myriam
and
Tortora de Falco, Lorenzo
2005.
Polarized and focalized linear and classical proofs.
Annals of Pure and Applied Logic,
Vol. 134,
Issue. 2-3,
p.
217.
Laurent, Olivier
2005.
Syntax vs. semantics: A polarized approach.
Theoretical Computer Science,
Vol. 343,
Issue. 1-2,
p.
177.
Harmer, Russ
Hyland, Martin
and
Mellies, Paul-Andre
2007.
Categorical Combinatorics for Innocent Strategies.
p.
379.
Zeilberger, Noam
2008.
Focusing and higher-order abstract syntax.
p.
359.
Dezani-Ciancaglini, Mariangiola
Di Cosmo, Roberto
Giovannetti, Elio
and
Tatsuta, Makoto
2008.
Computer Science Logic.
Vol. 5213,
Issue. ,
p.
461.
de Lataillade, Joachim
2008.
Second-order type isomorphisms through game semantics.
Annals of Pure and Applied Logic,
Vol. 151,
Issue. 2-3,
p.
115.
Zeilberger, Noam
2008.
On the unity of duality.
Annals of Pure and Applied Logic,
Vol. 153,
Issue. 1-3,
p.
66.
Zeilberger, Noam
2008.
Focusing and higher-order abstract syntax.
ACM SIGPLAN Notices,
Vol. 43,
Issue. 1,
p.
359.
Clairambault, Pierre
2009.
Foundations of Software Science and Computational Structures.
Vol. 5504,
Issue. ,
p.
16.
de Lataillade, Joachim
2009.
Dinatural Terms in System F.
p.
267.
Laurent, Olivier
2010.
Game semantics for first-order logic.
Logical Methods in Computer Science,
Vol. Volume 6, Issue 4,
Issue. ,
Dezani-Ciancaglini, Mariangiola
Cosmo, Roberto Di
Giovannetti, Elio
and
Tatsuta, Makoto
2010.
On isomorphisms of intersection types.
ACM Transactions on Computational Logic,
Vol. 11,
Issue. 4,
p.
1.
Clairambault, Pierre
2011.
Isomorphisms of Types in the Presence of Higher-Order References.
p.
152.
Laurent, O.
2011.
Intuitionistic Dual-intuitionistic Nets.
Journal of Logic and Computation,
Vol. 21,
Issue. 4,
p.
561.
Clairambault, Pierre
2012.
Isomorphisms of types in the presence of higher-order references (extended version).
Logical Methods in Computer Science,
Vol. Volume 8, Issue 3,
Issue. ,
Churchill, Martin
Laird, Jim
and
McCusker, Guy
2013.
Imperative programs as proofs via game semantics.
Annals of Pure and Applied Logic,
Vol. 164,
Issue. 11,
p.
1038.
Clairambault, Pierre
2013.
Strong functors and interleaving fixpoints in game
semantics.
RAIRO - Theoretical Informatics and Applications,
Vol. 47,
Issue. 1,
p.
25.
Levy, Paul Blain
2017.
Contextual isomorphisms.
p.
400.
Levy, Paul Blain
2017.
Contextual isomorphisms.
ACM SIGPLAN Notices,
Vol. 52,
Issue. 1,
p.
400.
DAGAND, PIERRE-ÉVARISTE
TABAREAU, NICOLAS
and
TANTER, ÉRIC
2018.
Foundations of dependent interoperability.
Journal of Functional Programming,
Vol. 28,
Issue. ,