4 found
Order:
  1.  16
    Frank A. Bäuerle, David Albrecht, John N. Crossley & John S. Jeavons (1998). Curry-Howard Terms for Linear Logic. Studia Logica 61 (2):223-235.
    In this paper we 1. provide a natural deduction system for full first-order linear logic, 2. introduce Curry-Howard-style terms for this version of linear logic, 3. extend the notion of substitution of Curry-Howard terms for term variables, 4. define the reduction rules for the Curry-Howard terms and 5. outline a proof of the strong normalization for the full system of linear logic using a development of Girard's candidates for reducibility, thereby providing an alternative to Girard's proof using proof-nets.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  2.  2
    David Albrecht, Frank A. Bäuerle, John N. Crossley & John S. Jeavons (1998). Curry-Howard Terms for Linear Logic. Studia Logica 61 (2):223-235.
    In this paper we 1. provide a natural deduction system for full first-order linear logic, 2. introduce Curry- Howard -style terms for this version of linear logic, 3. extend the notion of substitution of Curry- Howard terms for term variables, 4. define the reduction rules for the Curry- Howard terms and 5. outline a proof of the strong normalization for the full system of linear logic using a development of Girard's candidates for reducibility, thereby providing an alternative to Girard's proof (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  3. Dominic Hyde, Rehabilitating Russell, John S. Jeavons & John N. Crossley (1992). Table Des Matieres du Vol. 137-138. Logique Et Analyse 35:206.
     
    Export citation  
     
    My bibliography  
  4. John S. Jeavons & John N. Crossley (1992). A Logic-Based Modelling of Prolog Resolution Sequences. Logique Et Analyse 35 (138):189-205.
     
    Export citation  
     
    My bibliography