Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Honsell, Furio
Lenisa, Marina
and
Redamalla, Rekha
2003.
Logic for Programming, Artificial Intelligence, and Reasoning.
Vol. 2850,
Issue. ,
p.
407.
Abramsky, Samson
and
Coecke, Bob
2003.
Physical Traces.
Electronic Notes in Theoretical Computer Science,
Vol. 69,
Issue. ,
p.
1.
Honsell, Furio
and
Lenisa, Marina
2004.
Types for Proofs and Programs.
Vol. 3085,
Issue. ,
p.
242.
Abramsky, Samson
2005.
A structural approach to reversible computation.
Theoretical Computer Science,
Vol. 347,
Issue. 3,
p.
441.
Abramsky, Samson
and
Jagadeesan, Radha
2005.
A game semantics for generic polymorphism.
Annals of Pure and Applied Logic,
Vol. 133,
Issue. 1-3,
p.
3.
Simpson, Alex
2005.
Term Rewriting and Applications.
Vol. 3467,
Issue. ,
p.
219.
Haghverdi, Esfandiar
and
Scott, Philip
2005.
From Geometry of Interaction to Denotational Semantics.
Electronic Notes in Theoretical Computer Science,
Vol. 122,
Issue. ,
p.
67.
Abramsky, Samson
and
Lenisa, Marina
2005.
Linear realizability and full completeness for typed lambda-calculi.
Annals of Pure and Applied Logic,
Vol. 134,
Issue. 2-3,
p.
122.
Abramsky, Samson
2005.
Algebra and Coalgebra in Computer Science.
Vol. 3629,
Issue. ,
p.
1.
Marchal, Bruno
2005.
Theoretical computer science and the natural sciences.
Physics of Life Reviews,
Vol. 2,
Issue. 4,
p.
251.
Di Pierro, Alessandra
Hankin, Chris
and
Wiklicky, Herbert
2006.
On Reversible Combinatory Logic.
Electronic Notes in Theoretical Computer Science,
Vol. 135,
Issue. 3,
p.
25.
Haghverdi, Esfandiar
and
Scott, Philip
2006.
A categorical model for the geometry of interaction.
Theoretical Computer Science,
Vol. 350,
Issue. 2-3,
p.
252.
Schöpp, Ulrich
2006.
Computer Science Logic.
Vol. 4207,
Issue. ,
p.
606.
Schopp, Ulrich
2007.
Stratified Bounded Affine Logic for Logarithmic Space.
p.
411.
Hoshino, Naohiko
2007.
Computer Science Logic.
Vol. 4646,
Issue. ,
p.
420.
FÜHRMANN, CARSTEN
and
PYM, DAVID
2007.
On categorical models of classical logic and the Geometry of Interaction.
Mathematical Structures in Computer Science,
Vol. 17,
Issue. 5,
p.
957.
Blute, Richard
Panangaden, Prakash
and
Pronk, Dorette
2007.
Conformal Field Theory as a Nuclear Functor.
Electronic Notes in Theoretical Computer Science,
Vol. 172,
Issue. ,
p.
101.
Katsumata, Shin-ya
2008.
Automata, Languages and Programming.
Vol. 5126,
Issue. ,
p.
271.
Abramsky, Samson
2008.
Philosophy of Information.
p.
483.
Di Gianantonio, Pietro
Honsell, Furio
and
Lenisa, Marina
2008.
A type assignment system for game semantics.
Theoretical Computer Science,
Vol. 398,
Issue. 1-3,
p.
150.