Order:
  1.  31
    Curry-Howard Terms for Linear Logic.Frank A. Bäuerle, David Albrecht, John N. Crossley & John S. Jeavons - 1998 - 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. Table Des Matieres du Vol. 137-138.Dominic Hyde, Rehabilitating Russell, John S. Jeavons & John N. Crossley - 1992 - Logique Et Analyse 35:206.
  3. A Logic-Based Modelling of Prolog Resolution Sequences.John S. Jeavons & John N. Crossley - 1992 - Logique Et Analyse 35 (138):189-205.
     
    Export citation  
     
    My bibliography