Switch to: Citations

Add references

You must login to add references.
  1. The „Dialectica”︁ Interpretation and Categories.Philip J. Scott - 1978 - Mathematical Logic Quarterly 24 (31‐36):553-575.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • The „Dialectica”︁ Interpretation and Categories.Philip J. Scott - 1978 - Mathematical Logic Quarterly 24 (31-36):553-575.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Hyperdoctrines, Natural Deduction and the Beck Condition.Robert A. G. Seely - 1983 - Mathematical Logic Quarterly 29 (10):505-542.
    Download  
     
    Export citation  
     
    Bookmark   15 citations