Switch to: Citations

Add references

You must login to add references.
  1. TNTBase: A versioned storage for XML.Vyacheslav Zholudev & Michael Kohlhase - unknown
    Version Control systems like CVS and Subversion have transformed collaboration workflows in software engineering, and made possible the globally distributed project teams we know from the Open Source Phenomenon. On the other hand, XML is coming of age as a basis for document formats, and even though XML as a text-based format is amenable to version control in principle, the fact that version control systems work on files makes difficult the integration of fragment access techniques like XPath, XQuery that are (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (1 other version)The formulæ-as-types notion of construction.W. A. Howard - 1995 - In Philippe De Groote (ed.), The Curry-Howard isomorphism. Louvain-la-Neuve: Academia.
    Download  
     
    Export citation  
     
    Bookmark   68 citations  
  • [Omnibus Review].Robert Feys - 1956 - Journal of Symbolic Logic 21 (4):374-377.
    Download  
     
    Export citation  
     
    Bookmark   14 citations