Crossref Citations
                  
                    
                    
                      
                        This article has been cited by the following publications. This list is generated based on data provided by 
    Crossref.
                     
                   
                  
                        
                          
                                
                                
                                    
                                    Simpson, Alex K.
                                  1998.
                                  Mathematical Foundations of Computer Science 1998.
                                  
                                  
                                  
                                  Vol. 1450, 
                                  Issue. , 
                                
                                    p. 
                                    456.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    Buss, S.R.
                                     and 
                                    Kapron, B.M.
                                  2000.
                                  Resource-bounded continuity and sequentiality for type-two functionals.
                                  
                                  
                                  
                                  
                                  
                                
                                    p. 
                                    77.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    Bauer, Andrej
                                     and 
                                    Birkedal, Lars
                                  2000.
                                  Computer Science Logic.
                                  
                                  
                                  
                                  Vol. 1862, 
                                  Issue. , 
                                
                                    p. 
                                    202.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    Normann, Dag
                                  2000.
                                  The Cook-Berger problem -A guide to the solution.
                                  
                                  
                                  Electronic Notes in Theoretical Computer Science, 
                                  Vol. 35, 
                                  Issue. , 
                                
                                    p. 
                                    154.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    Longley, John
                                  2002.
                                  The sequentially realizable functionals.
                                  
                                  
                                  Annals of Pure and Applied Logic, 
                                  Vol. 117, 
                                  Issue. 1-3, 
                                
                                    p. 
                                    1.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    Normann, Dag
                                  2002.
                                  Exact real number computations relative to hereditarily total functionals.
                                  
                                  
                                  Theoretical Computer Science, 
                                  Vol. 284, 
                                  Issue. 2, 
                                
                                    p. 
                                    437.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    Hamrin, G.
                                     and 
                                    Stoltenberg-Hansen, V.
                                  2002.
                                  Proof and System-Reliability.
                                  
                                  
                                  
                                  
                                  
                                
                                    p. 
                                    1.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    Buss, Samuel R.
                                     and 
                                    Kapron, Bruce M.
                                  2002.
                                  Resource-bounded continuity and sequentiality for type-two functionals.
                                  
                                  
                                  ACM Transactions on Computational Logic, 
                                  Vol. 3, 
                                  Issue. 3, 
                                
                                    p. 
                                    402.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    Escardo, M.
                                     and 
                                    Ho Weng Kin
                                  2005.
                                  Operational Domain Theory and Topology of a Sequential Programming Language.
                                  
                                  
                                  
                                  
                                  
                                
                                    p. 
                                    427.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    Normann, Dag
                                  2005.
                                  Comparing hierarchies of total functionals.
                                  
                                  
                                  Logical Methods in Computer Science, 
                                  Vol. Volume 1, Issue 2, 
                                  Issue. , 
                                
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    Normann, Dag
                                  2006.
                                  Computing with Functionals—Computability Theory or Computer Science?.
                                  
                                  
                                  Bulletin of Symbolic Logic, 
                                  Vol. 12, 
                                  Issue. 1, 
                                
                                    p. 
                                    43.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    LONGLEY, JOHN
                                  2007.
                                  On the ubiquity of certain total type structures.
                                  
                                  
                                  Mathematical Structures in Computer Science, 
                                  Vol. 17, 
                                  Issue. 5, 
                                
                                    p. 
                                    841.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    Escardo, Martin
                                  2007.
                                  Infinite sets that admit fast exhaustive search.
                                  
                                  
                                  
                                  
                                  
                                
                                    p. 
                                    443.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    Normann, Dag
                                  2008.
                                  New Computational Paradigms.
                                  
                                  
                                  
                                  
                                  
                                
                                    p. 
                                    119.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    Escardó, Martı´n
                                     and 
                                    Ho, Weng Kin
                                  2009.
                                  Operational domain theory and topology of sequential programming languages.
                                  
                                  
                                  Information and Computation, 
                                  Vol. 207, 
                                  Issue. 3, 
                                
                                    p. 
                                    411.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    Given-Wilson, Thomas
                                  2014.
                                  Theoretical Aspects of Computing – ICTAC 2014.
                                  
                                  
                                  
                                  Vol. 8687, 
                                  Issue. , 
                                
                                    p. 
                                    206.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    Fernández, Maribel
                                  2014.
                                  Programming Languages and Operational Semantics.
                                  
                                  
                                  
                                  
                                  
                                
                                    p. 
                                    121.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    Longley, John R.
                                  2017.
                                  Logic Colloquium 2000.
                                  
                                  
                                  
                                  
                                  
                                
                                    p. 
                                    32.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    Longley, John
                                  2019.
                                  Bar recursion is not computable via iteration.
                                  
                                  
                                  Computability, 
                                  Vol. 8, 
                                  Issue. 2, 
                                
                                    p. 
                                    119.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    KARÁDAIS, BASIL A.
                                  2019.
                                  Nonflatness and totality.
                                  
                                  
                                  Mathematical Structures in Computer Science, 
                                  Vol. 29, 
                                  Issue. 2, 
                                
                                    p. 
                                    309.