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
                                     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.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Abramsky, Samson
                                  2005.
                                  A structural approach to reversible computation.
                                  
                                  
                                  Theoretical Computer Science, 
                                  Vol. 347, 
                                  Issue. 3, 
                                
                                    p. 
                                    441.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    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.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Marchal, Bruno
                                  2005.
                                  Theoretical computer science and the natural sciences.
                                  
                                  
                                  Physics of Life Reviews, 
                                  Vol. 2, 
                                  Issue. 4, 
                                
                                    p. 
                                    251.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    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.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Abramsky, Samson
                                     and 
                                    Coecke, Bob
                                  2005.
                                  Abstract Physical Traces.
                                  
                                  
                                  Theory and Applications of Categories, 
                                  Vol. 14, 
                                  Issue. , 
                                
                                    p. 
                                    111.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Schöpp, Ulrich
                                  2006.
                                  Computer Science Logic.
                                  
                                  
                                  
                                  Vol. 4207, 
                                  Issue. , 
                                
                                    p. 
                                    606.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    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.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Schopp, Ulrich
                                  2007.
                                  Stratified Bounded Affine Logic for Logarithmic Space.
                                  
                                  
                                  
                                  
                                  
                                
                                    p. 
                                    411.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    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.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    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.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Hoshino, Naohiko
                                  2007.
                                  Computer Science Logic.
                                  
                                  
                                  
                                  Vol. 4646, 
                                  Issue. , 
                                
                                    p. 
                                    420.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    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.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Hines, Peter
                                  2008.
                                  Machine semantics.
                                  
                                  
                                  Theoretical Computer Science, 
                                  Vol. 409, 
                                  Issue. 1, 
                                
                                    p. 
                                    1.
                                
                                
                        
                        
                        
                         
 