Switch to: Citations

Add references

You must login to add references.
  1. Introduction to Lattices and Order.B. A. Davey & H. A. Priestley - 2002 - Cambridge University Press.
    This new edition of Introduction to Lattices and Order presents a radical reorganization and updating, though its primary aim is unchanged. The explosive development of theoretical computer science in recent years has, in particular, influenced the book's evolution: a fresh treatment of fixpoints testifies to this and Galois connections now feature prominently. An early presentation of concept analysis gives both a concrete foundation for the subsequent theory of complete lattices and a glimpse of a methodology for data analysis that is (...)
    Download  
     
    Export citation  
     
    Bookmark   101 citations  
  • Non-Well-Founded Sets.Peter Aczel - 1988 - Palo Alto, CA, USA: Csli Lecture Notes.
    Download  
     
    Export citation  
     
    Bookmark   140 citations  
  • Introduction to Higher Order Categorical Logic.J. Lambek & P. J. Scott - 1989 - Journal of Symbolic Logic 54 (3):1113-1114.
    Download  
     
    Export citation  
     
    Bookmark   130 citations  
  • Universal algebra.Karl Meinke & John V. Tucker - 1992 - Journal of Symbolic Logic 38 (4):1--189.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Handbook of Logic in Computer Science.S. Abramsky, D. Gabbay & T. Maibaurn (eds.) - 1992 - Oxford University Press.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Coalgebraic logic.Lawrence S. Moss - 1999 - Annals of Pure and Applied Logic 96 (1-3):277-317.
    Download  
     
    Export citation  
     
    Bookmark   20 citations